message when admitting

[orilahav]

Running

   Lemma a : 1=1.
   Proof.  admit.

in CoqIde gives the nice message:

   No more subgoals, but there are some goals you gave up:
   1 = 1
   You need to go back and solve them.

While vscoq gives a wrong (?) message:

There are unfocused goals.

[fakusb]

Thanks, #184 will fix this

[rtetley]

Keeping this alive for VsCoq 2