[core] move VUserException (del)
[core] DefinitionSpace is in 'definition' package
[core] DeinitionSpace is in 'definition' package (del)
[core]DILifeCycle is not a public tool
Merge branch 'master' of https://github.com/KleeGroup/vertigo