jenkins opam cmd line change propagation
(cherry picked from commit 70b72e1e676ad7594f791adad6d4d0bee9399676)

Conflicts:
	jenkins/base/010_build.sh