Bug#946580: No coqidetop in coq package breaks editor plugins

[Julien Lepiller]

Thanks for the fix! The changelog seems to imply your change of coqidetop was 
after coq upstream advice. To be clear, I am only the upstream of a plugin that 
uses coq, not an upstream of coq itself :)