More improvements to the new memory manager

the memory manager now compiles with g++4.7. The hugepages example
now shows how the memory monitor is used.