CI: Use Travis as CI tool.