Programs: indent.sh: Removed obsolete indentation script and associated configuration file.