Misc prep for 3.5 release

Deleting obsolete documents, making sure new documents get installed, update the Doxygen main page.
(See issue #275)

@chrisdembia, do you have anything along these lines you want to do?
Very minor comment: people might think that 3.5.1 already exists.