Add search functionality

[Mihael Schmidt]

Add a search box in the main menu bar. The user should enter the search term and hits enter. The web frontend calls a REST service from iledocs.rest and returns a search result object.

The search result object should contain the search term, number of hits, search result entries. The search result entries should also state what type of entry matches, like module name, procedure name, parameter, description, ...

[Mihael Schmidt]

Currently iledocs.rest doesn't have such a REST service. Needs also to be implemented.

[Mihael Schmidt]

• add a search input box in the navigation bar in the frontend
• create a REST service for the search - returns a search result
• frontend should show a dialog with the search result
• user should be able to filter the search result by type (project, program, procedure, variable, constant, file)
• button/link for opening the documentation for a search result entry
• add a search input box in the dialog for the user to restart a search with another search term

[Mihael Schmidt]

https://docs.mongodb.com/manual/core/index-text/

[Mihael Schmidt]

added dummy search REST service and search dialog, refs issue #9

→ <<cset d36a759658d9>>

[Mihael Schmidt]

added REST service for indexing and searching, fixed issue #9

→ <<cset 4153a9989f37>>