remove google translate link

- website translation is already integrated in browsers
  or can easily be added as plugin

- people already know how to translate websites if necessary
autofocus symbol search box
use tabindex for symbol search results
Fix heading levels.
Document void arrays.
Also document static void arrays.
Merge pull request #715 from quickfur/issue9691

Issue 9691: document void[] arrays.
Merge pull request #709 from MartinNowak/tabOrderSymbolSearch

improve symbol search for new doc layout
Merge pull request #708 from MartinNowak/rmTranslate

remove google translate link