Removed terminal-colors.h

There were 2 problems:

- it does not belong into a numerical library
- the approach with hardcoded escape codes is not portable even on Linux

There are separate libraries which solve both of these issues much more
nicely, they should be used instead.