Printing coverage to stdout in travis and fixing travis badge