Undo travis_print_color_coded_result

ERb processing may leave us with `echo ' >> …'`, which is not what we
want.

Instead, undo the travis_print_color_coded_result function, rather
than messing with the bash function.  Duplication seems acceptable,
since it happens only twice.