Adds shortcut F12 for toggling line numbers in vim
Adds aliases for pushd and popd.