Add php-mode from git and php-repl.