Experimenting with Travis integration (see travis-ci.org)