get pretty_printing working under MINGW cross build. update docs
Merge branch 'issue11_2' of github.com:openscad/openscad into issue11_2