Remove mainpage.dox
Add mutex for #137