[TODO day preparation]: Generalizer merge into devel

[ComFreek]

I am not sure whether this should be merged yet. Many of the new API classes are not yet stable, some of them even completely unnecessary (e.g. ReferenceSubstituter).

If you work on TODOs in any of the changed classes, please do so on the generalizer-merge-into-devel-for-todo-day branch.

Changelog:

• New API classes

  • info.kwarc.mmt.api.modules.LinkUtils
  • info.kwarc.mmt.api.modules.ModuleCreator
  • info.kwarc.mmt.api.modules.ReferenceSubstituter
  • info.kwarc.mmt.api.refactoring.linkinversion.LinkInverter
  • info.kwarc.mmt.refactoring.linkinversion.LFLinkInversionRulesProviderHelper
  • info.kwarc.mmt.refactoring.linkinversion.LFLinkInverter
  • info.kwarc.mmt.api.presentation.FlatMMTSyntaxPresenter

• Deleted API classes

  • info.kwarc.mmt.api.presentation.AbstractMMTStructurePresenter
  • info.kwarc.mmt.api.presentation.MMTStructurePresenter
  • info.kwarc.mmt.api.presentation.FlatMMTStructurePresenter

• Breakingly Changed API classes

  • info.kwarc.mmt.api.presentation.MMTSyntaxPresenter

• Non-Breakingly Changed API classes

  • info.kwarc.mmt.intellij.MMTPlugin