add char encoding to EmacsCheatSheet.html
Merge pull request #1 from edgemaster/OPLSS

Add utf8 char encoding to EmacsCheatSheet.html
Merge branch 'OPLSS' of github.com:UlfNorell/agda-summer-school into OPLSS
somebody also modifes the cheat sheet encoding..
ignore mac os files