Reformatted TravisCI config