Skip on [ci skip] PR label


#1

(from https://github.com/travis-ci/travis-ci/issues/5374)

There is much discussion and arguments for the feature in the GitHub issue, but it basically boils down to being able to skip Ci builds on PRs that have a certain tag (e.g. for documentation PRs).