Sped up unit propagation. Added setup_copy_with_new_actions().

Now we reset the set of unit clauses after one iteration over the setup
and only proceed with those unit clauses that were created in the
last iteration.