Delete jbuild-workspace.dev
Delete jbuild-workspace.dev

This was customized to my installation, but I wasn't using it really,
plus it belongs in a surrounding workspace outside the repo (though
actually putting it there would require some adjustment to the
Makefile).

[skip ci]

c-cube/lwt,ocsigen/lwt,c-cube/lwt,c-cube/lwt,rneswold/lwt,ocsigen/lwt,ocsigen/lwt,rneswold/lwt,rneswold/lwt