Add repository and modify opam file for ocsigenserver