Updating dev docs to GitHub instead of SVN

Updating my repo with TommM's commit.