Added ess, auctex, and php-mode