a copy of GNU indent, with various patches