Possibility to prevent shrinking of scopes.

To speed up some operations it seems best to not shrink the scope array of
ScopedHashMap.  This update includes a parameter to allow this.  Furthermore,
NamedAtoms are lazily cleaned from SMTAffineTerms.  Version of the sysdesc that
will be submitted except for the version info.