added travis and coverage badges