added forgotten travis CI files