Configuration files for new servers intended for production
Branch choice manipulation
Updating server list and ssh-config files

Not sure if we really want to maintain all of these...
Update public-facing domain 'dev' => 'devtree'
Change 'asbhy' to 'ot10' in all domain names
Rename and cleanup GitHub client-ID vars
Update CURATION_GITHUB_CLIENT_ID for 'devtree'

This points to a newly registered app on GitHub that is tailored to the
new devtree.opentreeoflife.org domain.
Revert "Update CURATION_GITHUB_CLIENT_ID for 'devtree'"

This reverts commit 40da672b664ce656b421a91aaaad111e10ec5712.
Revert "Rename and cleanup GitHub client-ID vars"

This reverts commit 26a2c0bf2e2641b89bfe7b0f1bc00ee435a27455.
Revert "Update public-facing domain 'dev' => 'devtree'"

This reverts commit 7a79044fed8c2094f81fb32c69a53b9c9f99307b.
Add treeview client id to ot11.config
Swap development and production, set branches
Merge pull request #3 from OpenTreeOfLife/prod-setup

Rename development (ot3 et al) to production; create new development directory with configurations for new servers ot11 and ot12; set branch configurations