tweaks to INSTALL, README
lots of small fixes for doxygen documentation