The easiest way to install is to use `opam`, and most likely that all users will pursue this path, so we should mention it.