Adding Travis-CI and coverage badges