Add some handy funcs.
Switch back to compiled auctex.

This works around a strange issue cropping up in the latest
versions. Eventually I should be able to use auctex from the
repo again.
Update git config