Updating the get-it page of the doc since stone has now an opam package