Destroy the runners cleanly when shutting down the engine.

Merged Pedro Gonnet requested to merge runners_clean_stop into master

Adds a new engine_step_prop_stop which makes the runners quit if set. engine_clean now sets the prop, releases the runners, and pthread_joins them.

Fixes #559 (closed).

Edited by Peter W. Draper

Merge request reports