travis for 4.00.1, 4.01.0
Merge pull request #164 from rgrinberg/travis

travis for 4.00.1, 4.01.0