presub for Everyman
Adding the OSEK initiatialization test case.
robustness improvements to MCP2
Mutex and OSEK depend on base for thread IDs.
Set up end-of-line normalization.
Output thread IDs in race warnings.
fixed new_fwk again
set default to --enable exp.new_fwk
me fix bug
reformat new slr solver code
a more reasonable tsort
simple json schema
preliminary json conf schemata
Fixes #10
Thread ID related tests.
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/analyses/base.ml
	src/util/defaults.ml