Hide theme+ dev tool from Contao search index.
Merge pull request #65 from discordier/develop

Hide theme+ dev tool from Contao search index.