Add publish-docs logic to deploy tinkerpop docs on push to publish-docs branch.