Convenience stuff added
* auctex_init.el: