[coq/f18] (6 commits) ...Use minimal TeXLive BRs.

[Jerry James]

Summary of changes:

  06bcb09... Rebuild for OCaml 4.00.1. (*)
  61ea2d3... Support more GDK key modifiers in the IDE (hyper, meta, rel (*)
  edd48e7... More GDK-related fixes. (*)
  65949c2... BR tex(comment.sty) due to the new texlive package layout. (*)
  9887d05... Changes required by the new TeXLive 2012 packages. (*)
  de086fe... Use minimal TeXLive BRs. (*)

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