Add feature: autocomplete optional documentation

Here's a small patch that allows the user to speed up getting
AutoComplete results by turning off fetching documentation for them.

Rationale: optimisation. Getting a long list of matches is more
responsive when documentation is not returned

The default option is that documentation is fetched like it used to
be. The option may be left out, so no client code should break.