scripts for building goblint from source under Cygwin
making ocp-build fails if script is piped into bash?!
abort script on errors
g2html for Cygwin works (use cygpath -wa for converting paths)
use return instead of exit for source setup-cygwin-dev.sh
add g2html as a submodule
add `make npm` for webapp, `make jar` for g2html