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