Added shortcuts to the Coq file and project wizards to the Coq perspective