Update name handling in configurator
More specs for name handling
Add deprecation warning for exercise
Fix configure() workflow of search
Path all plugins to new name syntax
Use display name in tab headings
Remove all definitions of names in conf files
Simplify main configurator functions
Use simplified configurator syntax everywhere
Merge pull request #378 from latin-language-toolkit/plugin_names

Plugin names