Gitignore updates
Idris-mode
STF vm aliases
JVM management for OSX is kind of a pain
My $PATH is not behaving...