Offer a prompt for documentation search
Added missing contributors

see release 1.2 changelog:
Urban Müller
Engelke Eschner
Add support for extended TAGS format

as produced by the tag tool in github.com/tekai/tools/