directly create the HibernateExtension in the ConsoleConfiguration
remove unused HibernateExtensionX_Y
remove unused HibernateExtensionDefinition and HibernateExtensionManager
remove HibernateExtension, replace occurrences with class HibernateExtensionImpl
rename HibernateExtensionImpl into HibernateExtension