set-up CI server and coverage server