Enabling Travis-CI testing