Updating dev docs to GitHub instead of SVN