Add comment on why Travis CI is disabled for now