require 4.01.0
oasis setup
travis configuration
Merge pull request #18 from frenetic-lang/4.01.0

4.01.0