VM-alloc branch-and-bound

If enabled, the allocator solves a relaxed problem after every allocation.

This is done in order to determine a more accurate lower bound for the complete allocation.

Minor changes:
- Added intelligentBound parameter to configParser
- Problem instance ID is now logged in main.cpp
- Introduced additional VM counter in PM.h, required for bounding
- Updated TODO