Remove git mirror of TagHighlight
Add R environment file
Add options for newer versions of gdb
Avoid saving options in vim session files