proof tree error when `coq-auto-adapt-printing-width` is `nil`

[hendriktews]

When coq-auto-adapt-printing-width is configured to be nil, starting proof-tree display runs into the assertion proof-add-to-queue, see also #828.