fix #34 : biggest-maximal-clique replaced by biggest-maximal-cliqueS
update cheat sheet following fix for #75