Using the README file also as the main page of the doxygen docs, with some preprocessing