Added findcite for simple management of my bibliography
Added whiteboard, for cleaning up photos of whiteboards
Agda tweaks
Switch to zenburn color theme
Failed attempt at a YASnippet
Some random customizations