add functionality to verbatim.pawk to strip leading spaces