pretty-print, parenthesize, override-reconstruction and resugar strategy names can now be passed via Stratego