improvement for vim navigation

[qcfu-bu]

Using vscoq's interpret to point command, the current line of proof that the cursor is on is not interpreted. This causes a bit of inconvenience when using with the vscode vim extension. Basically using vim, it is impossible to place the cursor in such a way that the interpret to point command interprets the current line. This is inconsistent with the behavior of proof general in emacs where the interpret to point includes the line of proof that the cursor is currently on.