add conf-gtksourceview to why3's optional dependencies

to build why3ide one needs gtksourceview in addition to lablgtk.
see https://github.com/ocaml/opam-repository/issues/747