mainpage.dox fixed links (#664)