Simplify a bit automation

In a script, it is easier to specify --opamroot than the environment variable to avoid potential conflict with the root used to install operf itself