Updated emacs colours
Added doc/AgdaCheatSheet.agda
Merge branch 'EJCP' from github