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.