Change Makefile to use tput for colors.

Change Makefile to use tput instead of escape sequences at Eitan's
suggestion; the former is a much more portable/reliable method of
setting colors.