parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;

cancel_proofs: some attempts at reworking group management (based on body promises only);

support for arbitrarity nested future proofs -- replaced crude order by explicit normalization (which might loop for bad dependencies); export promises_of; removed obsolete pending_groups; tuned;