We should somehow include the project's README in the doxygen documentation, so we don't have to keep two docs up-to-date.