software/{kvm, theia}: use unevaluatedProperties for schema composition

This is based on example from https://json-schema.org/understanding-json-schema/reference/object#unevaluatedproperties this approach allows extending a schema from another software type with some extra properties while rejecting other properties on instances, like it's done with additionalProperties: false.