Changed to use http vs svn for php-mode checkout