Switch QE algorithm in PDR for real variables
Kill all child processes after timeout
Switch off approximate QE for non-linear terms
Kill child processes after timeout without waiting
Output processes that were killed on exit
Only output first counterexample message
Construct Lustre counterexamples from node instead of model
Added properties to examples
More debugging for reconstructing streams
Merge pull request #119 from chsticksel/develop

Kill all child processes after timeout

Closes  #118