Use a single deploy script

[jpmckinney]

I think the only difference is the directory to which files are mirrored. This can be a configuration in .travis.yml (profiles already have partial control over the directory).

That way, we'll have only one deploy-docs.sh script which will be easier to maintain.

The script can check that all necessary environment variables are set.