TravisCI: Use rednose extension for colored output