update casks, add auctex and php-mode