Ensure push to master doesn't trigger another CI 

Adding [ci-skip] to the commit message will make sure travis doesn't try to run this script on the branch we've just pushed to.