Fixed the page frame allocator
Added doxygen config file
Added doxygen makefile entry
More consistent formatting convention