Remove old GNU indent directives Now that gdb_indent.sh has been removed, I think it makes sense to also remove the directives intended for GNU indent.