VM-alloc branch-and-bound

Introduced a new parameter with which the number of migrations allowed can be limited.

The cost of an allocation is now computed iteratively, instead of recalculating the total cost at each allocation. The number of PMs turned on and the amount of migrations are tracked in two member variables.