fun String.indent(col: Int): String
Prepend an empty string of size col to the string.
Doesn't preserve original line endings.