[zenon/f15] Move the coq files back to /usr/share to avoid a dependency on coq. Add paper describing zenon to %d

[Jerry James]

Summary of changes:

  f276a0b... Move the coq files back to /usr/share to avoid a dependency (*)

(*) This commit already existed in another branch; no separate mail sent