check correct use of --no-soundness-check
use enum for guard-splitting mode
Removing copied code in pins.c
Defining ltsmin_abort for RERS

TOOD: what about init in dlopen-api.h? It is similarly undefined and gives a bus error for me on OSX
Fixed the tests in 'src/test' and in 'testsuite'. The tests do not all succeed, but at least 
they can be built and performed again. Run 'make check' in the test directories and the
tests will be executed. For 'testsuite', dejagnu is required.
- Fixed an error in the ETF frontend with projection states to read and write dependencies.
- Moved a dependency matrix printing function to dm.c from pins.c.
Added generated examples to .gitignore.