indent.py: added parse_indent()