new exception to document invalid nets (for other reasons than being
1-safe)
fixed bug in loop (cleaning buffer should occur in the loop)
have to check for initial markings with value greater than 0
no more timeout for the bound tool, the current run must be explicitly
terminated on command-line
prepare for next release