Use new develop.svn.wordpress.org repository

See http://make.wordpress.org/core/2013/08/06/a-new-frontier-for-core-development/

This is a testbed for wp-cli/wp-cli#679