Run tests under Travis-CI