Added instructions on building Doxygen docs into places people might search for them.
Merge branch 'dev' of github.com:pism/pism into dev