Travis-CI setup and tests