[debian] update url for ivy-ocaml svn