publish correct type of TextDocument#text (can be undefined)
Created by: sqs
https://github.com/sourcegraph/sourcegraph/pull/2051 introduced cases where TextDocument#text
can be undefined. This should be incorporated into sourcegraph.d.ts and documented.
fix #2416