Travis-CI integration.

Part of issue #16.