We'd like to add support for evar querying.

The XML protocol already provides some support, see
https://github.com/coq/coq/blob/trunk/ide/ide_slave.ml#L223

Also, https://coq.inria.fr/bugs/show_bug.cgi?id=4504 seems very relevant.