Improve installation of ocsigenserver with opam