Creating opam switch version 5.1.1

The solution is here.