Run coq commands in isolation

[driverag22]

Added method for querying vernac commands where the sentenceID to query from can be chosen. In addition, used this method to implemented running isolated coq commands (where chosen sentenceID = last run sentenceID).

These isolated coq commands can be run from the assistance bar.

Further down the line, a different menu to run these isolated commands might be implemented, so we should wait to merge the branch until that is decided.