Changed the <title> of all of the HTML API files so that they have unique titles.
Fixes issue #1134.
I couldn't find a way to do this automatically in doxygen so for now I wrote a program to change the titles.
Changed <title> element of html files in API reference.