specify git push to simple
move logic of whether or not to deploy docs and the name of the directory to .travis/setup.sh