fix computecommentoffset for error reporting
CoqJavaDocumentProvider -> CoqDocumentProvider
generalized TraverseAST, use that instead of custom variants all over