Add -q for quiet output.  Print the Petri net on stdout.
Build without -DEBUG by default.  Remove RESDIR.