Commit updated version of boot/libs.ml
Commit updated version of boot/libs.ml

It was accidentally reverted by a commit that did not update the
bootstrap prior to building.

The reason why bootstrap had to be updated is because the pretty printer
that is used to write this file was updated.

Signed-off-by: Rudi Grinberg <b1c1d8736f20db3fb6c1c66bb1455ed43909f0d8@rgrinberg.com>

dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,dra27/jbuilder,janestreet/jbuilder