- preferably link against the static versions of libraries, rather than the dynamic ones
model duplication: also copy annotations

Notes and Miriam annotations are copies. Unsupported annotations are
ignored.
Revert "model duplication: also copy annotations"

This reverts commit 9f3d36d165ab25379da43da148f0ad3eeb91fc22.
Revert "Revert "model duplication: also copy annotations""

This reverts commit 03ee82c4b1875b7d867a36fa3187b6b23f5778b6.
update comments
finish replacing of model elements

now also replacing compartment (and therefore moving metanbs to the new
compartment) is implemented
some cleaning up of mode merging code
remove obsolete code in model merging widget
let the datamodel store a set of objects that were added to the model

The data model now stores the objects that were added to the model to
allow model mergin operations.
copyCompleteModel() now returns a set of objects.

This is used for highlighting the new objects in the model mergin GUI
highlight the newly added object in the merging GUI