Debugger, indenter and HTMLizer for sed scripts