Changed: Use travis on Docker containers