travis config
Merge branch 'jonathan' of github.com:jonathan-taylor/regreg into jonathan