add general stop function for reachability
Use HREabort for soundness check
use special exit code for soundness check
general stop function for action detection. Fixes segfault in LACE.
support multiple extensions for traces in sym tool
set HRE context on lts file. Fixes trace generation with LACE.
support formatted message in RTprintTimer.
add name of trace to timer.
append file name for verbose output. Makes more sense when writing multiple files at the same time.
show amount of next-state calls relative to the speed of the language front-end
write all state labels, not only guards.
temporary workaround for writing lts in multi-process environment.
allocate state on stack, to automatically free it.
Prepare multi-process trace generation:
-> 	move trace generation after a next-state call,
	such that other GB calls do not interfere
	with receiving all successor states.
Prepare multi-process trace generation:
-> 	add long GB calls
Use long multi-process GB calls.
add flags to buildfile for torx
fix memory leak in TreeDBS
Implement minimal cost reachability in pins2lts-dist.

This patch add an option that can select an edge label to
define the cost of edges. This cost must be non-negative.
The tool will explore successively higher cost levels.
Each of these levels is store in a doubly linked list.
First, because this means O(1) remove and insert when
a lower cost path is found. Second, because the order
within a cost level remains close to BFS and therefore
should not be excessively long.
fix counterexample generation bug