Add an option to select the seed
Update to latest opam lib