Merge branch '70-es-werden-noch-header-ausgegeben-die-so-nicht-ausgegeben-werden-sollten' into 'master'

Es werden keine Header mit den verwendeten Suchmaschinen mehr ausgegeben

Closes #70

See merge request !80

Wikipedia Quicktips geben wieder ihre Quelle an

Closes #66

See merge request !79

Resolve "Die Settingsseite Übersetzen"

Closes #57

See merge request !78

Merge branch '57-die-settingsseite-ubersetzen' of http://gitlab.metager3.de:1234/dominik/MetaGer into 57-die-settingsseite-ubersetzen

Resolve "Es werden noch keinerleid Logs geschrieben"

Closes #66

See merge request !77

Fixed a Bug where "Witch" returned an empty result



See merge request !76

Fixed a Bug where Minism tried to load an invalid XML-String



See merge request !75

Fixed Bug where Metager tried to close a non existent Socket



See merge request !74

Updates from Master



See merge request !73

Bug gefixt bei dem die Suche manchmal beim Parsen der Ergebnisse von zeitde abgestürzt ist.



See merge request !72

Resolve "Anonymisierung der Nutzerdaten abschließen"

Closes #67

See merge request !71

Dabei ist es egal, ob die Abfrage von einem Proxy weiter geleitet wurde, oder nicht

Logs für eine durchgeführte MetaGer-Suche eingebaut. Diese wird im Redis-System hinterlegt

Closes #66

See merge request !70

Suchinterface für die Uni-Mainz eingefügt

Closes #65

See merge request !69

Bugfix



See merge request !68

Es ist nun möglich ein Plugin anhand der auf der Einstellungsseite generierten Einstellungen zum Browser hinzuzufügen.

Wie lange auf alle Suchmaschinen gewartet wird entscheidet sich jetzt anhand von 3 Parametern:
Wenn die bisherige Zeit < 500 ms ist:
	Wird das Warten nur abgebrochen, falls alle Suchmaschinen geantwortet haben
Wenn die bisherige Zeit >= 500 ms, aber kleiner der eingestellten Suchzeit ist:
	Wird das Warten abgebrochen, falls mindestens 80% der Suchmaschinen geantwortet haben.
Wenn die bisherige Zeit >= der eingestellten Suchzeit ist:
	Wird in jedem Fall abgebrochen.

Dies sollte einige Probleme beheben, bei dem Suchergebnisse nicht geladen wurden.