Allow attaching proofs by drag & drop #5
Description
If there are two proofs, one of which has an incomplete proof tree, and the other's conclusion is matching exactly to the incomplete goal, then the user should be able to drag the second proof tree onto the incomplete part of the first proof tree, and the proof trees should attach/combine.