added remark that mtools is using Travis CI.