updated php-mode remote repo.