remove unused mainpage.dox files (these are rosbuild only)