color prompt in python; link to page describing ansi escape codes