Added travis CI back.