Added Auctex, PHP mode, and some personal modifications