Python library for colorizing strings in bash