Fix default behavior of VERSION-SATISFIES.

Previously, if a component's version slot was unbound, it would match
*all* version specifications.  This is obviously wrong, because it means
you can't detect when a system goes from unversioned to versioned.
Changed this to an interpretation that an unbound version slot matches
NO version specifications.