Lots of changes: install and uninstall targets; directories removed iff there is no external files (files not listed in make vars); documentation with Doxygen and TexInfo.