Make reindentation optional for dune-grid-dev-howto script