doxygen: move the group and mainpage documentation to separate doxygen documentation files.