CI: the job which installs from the remote OPAM repository should be executed only when the master branch is being built