[ledger] tweak key commands
[coq] smart colon
[coq] apply font lock to more coq modes
tweak org-drill config
Define font lock string replacement helper function
[coq] unicode symbol font-locking
Use source-code-pro font when available
[sh] snippets