documentation cleanup and generation of github pages