[alt-ergo/f20] (4 commits) ...Add desktop icons. Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel). Fix bytecode bui

[Jerry James]

Summary of changes:

  5138ab0... Rebuild for OCaml 4.01.0. (*)
  2a676b2... Update to version 0.95.2. Web pages and downloads now hoste (*)
  a6e1d8b... Add an AppData file and screenshot. Adapt to ocamlgraph 1.8 (*)
  be22013... Add desktop icons. Drop unnecessary gmp-devel BR (pulled in (*)

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