More portable escape codes

For color. See #3.