Keeping track of inheritance now moved to compiler: Cleanup and adapt.
Merge branch 'plugin_integration' of https://github.com/Mind4SE/mindoc into plugin_integration