A few fsharp keybindings
Multiplatform shift+tab for tab-to-tab-stop
Add ac-comphist.dat to .gitignore
Add AUCTeX