Disable GlobRef feedback (CoqIDE does nothing with them)

The original idea was to send not the kernel name, but the file/line
to that CoqIDE could make the text an hyperlink to the file, exactly
as coqdoc generated HTML.
nanoPG: compete rewriting with more Emacs/PG like features

It is not possible to add shortcuts with arbitrary modifiers and to
save into a state some data, like the line offset for C-n and the
killed text for C-k and C-y.

If you see that your favorite Emacs/PG shortcut is missing,
please tell me!

Currently supported shortcuts:
  C-_  Undo
  C-g  Esc
  C-s  Search
  C-e  Move to end of line
  M-e  Move to end of sentence
  M-a  Move to beginning of sentence
  C-n  Move to next line
  C-p  Move to previous line
  C-f  Forward char
  C-b  Backward char
  M-f  Forward word
  M-b  Backward word
  C-k  Kill untill the end of line
  M-d  Kill next word
  M-k  Kill until sentence end
  M-DELBACK  Kill word before cursor
  C-d  Delete next character
  C-y  Yank killed text back
  C-c C-RET  Go to
  C-c C-n  Advance 1 sentence
  C-c C-u  Retract 1 sentence
  C-c C-b  Advance
  C-c C-r  Restart
  C-c C-c  Stop
  C-c C-a C-p  Print
  C-c C-a C-c  Check
  C-c C-a C-b  About
  C-c C-a C-a  Search About
  C-c C-a C-o  Search Pattern
  C-c C-a C-l  Locate
  C-c C-a C-RET  match template
  C-x C-s  Save
  C-x C-c  Quit
  C-x C-f  Open