Updated build and coverage badges for gtlaunch.