Refactor the searchpattern part of syntax.php
Some significant changes:
 * Now in list of searchpattern index numbers are used (the date stored at todotag protects against conflicting edits)
 * The searchpattern list request itself no caching
reorder and reformat two methods
Reformat code of syntax.php to DokuWiki code style