Issue #19: Integrate travis-ci.