Cheatsheets

This PR contains two changes (I can split them in different pull requests if necessary):

1) Remove the cheatsheet PDFs and replace them with a script that generates them out of the markdown files. This also makes the cheatsheets more easily customizable (which was my initial use-case since I wanted to replace the logo).
2) Add a new cheatsheet with all the weird characters we use when programming and their names.