Updated Doxygen to 1.8.4; fixed GCC breakage.
Updated build documentation.