Destroy the runners cleanly when shutting down the engine.

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).