add conf-gtksourceview to why3's optional dependencies (to build why3ide)
see https://github.com/ocaml/opam-repository/issues/747