Mention Travis in the documentation