Include work on an STNUManager.

Its first implementation is a pseudo-controllable STNU using IFPC to check
if any constraints are squeezed.
Allow annotation of constraints with an ID to allow targeted removal of cosntraints.
[0.4.4] Sanitize imports and remove most warnings (that are now unable at compile time).

STNU manager and pseudo STNU are imported in the stnu package.