Merge pull request #882 from mirage/master

fix mirari installation
Added virtual package "gtksourceview", relying on the system library
Added ocaml-top package
Fixed package lablgtk-extras to depend on gtksourceview