Changing DEFAULTSERVER var to just github.com since this is out in the open and our code server probably doesn't need to be the default.
Merge pull request #1 from tlattimore/development

Change DEFAULTSERVER var to just github.com 

Good Catch! Merging!