add php and promela mode for emacs