Finalizing Travis-CI integration