Test Travis-CI's ability to install packages
Hack "travis_fold" log directives
Merge branch 'test' into development
More changes for type constraints in checker