Enable Travis builds using Docker