travis: squash check

This checks at the very end of the build if a pull request needs squashing, based on the fact if there are any commits that start with a "SQUASH" tag between `HEAD` and `RIOT/master`.
Please document the parameter as well.