Now use sudo to use opam commands
Fix opam init options
Fix opam option
Fix Dockerfile