Update juvix-stdlib ref to latest main

[paulcadman]

This PR updates the juvix-stdlib submodule ref to the latest main branch.

It incorporates changes from:

• https://github.com/anoma/juvix-stdlib/pull/134