Syntax highlighting

Highlight the implementation code.

- [x] Implement syntax highlighting using `minted` *(in b43b38d)*
- [x] Implement option to use syntax highlighting *(in 7e51b71)*
- [x] Implement fallback (back to standard verbatim) if no `pygmentize` or no `-shell-escape` *(in 0a5a946)*
- [x] Fallback if `minted` is unavailable? *(in abeffe0)*
- [ ] Implement a custom pygments theme that fits with the overall theme
- [x] Fix spacing issues *(in 2f38765)*
- [ ] Is it possible to make `pygmentize` recognize `@`/`_`/`:` as parts of a command? *(Looks like this isn't possible without modifying the lexer)*
- [ ] Clean up the code, make it LaTeX3-y
- [ ] Document the feature completely *(some of it in 7e51b71)*
- [x] Synchronize font settings of highlighted and verbatim code *(in 2f38765)*