Unregister kernel_safe_sup and net_sup

Force inet_gethost_native to run without supervisor
(Icky fallback)
Add --app-controller option

This options instructs Concuerror to start its own
instrumented application controller.
Remove preemption point from port commands
When stopping Concuerror, wait for process to exit
Treat shutdown exit status as normal
Check ets tab names and rename ac_tab
Fix a bug in instrumenter
In Concuerror's tests wait for uninstrumented messages
Fix some bugs in Concuerror's GUI
Change phrasing of two command-line option descriptions
Force the use of only one Erlang VM scheduler
More dpor tests
Add exhaustive scheduling tests
Optimal DPOR
Bug fixes
Re-implement source-set DPOR
Refactor the scheduler code
Optimize recent_dependency_cv
Restore classic and simple source-set based DPOR algorithms
Cleanups in testsuites