Add some more commands to the Agda-mode cheat sheet.