update solvers and halmos-builder dockerfiles

[karmacoma-eth]

there is an issue where jsi exits because in the docker environment, bash (i.e. jsi's parent) has PID 1

next steps:

• fix jsi and release a jsi update
• rebuild solvers and halmos-builder with that new version
• the new dockerfiles should not require new changes

with these images, we can run foundryup in CI to always run with the latest foundry

[wiz-a16z]

Wiz Scan Summary

Scan Module						Total
IaC Misconfigurations	0	1	0	1	0	2
Vulnerabilities	0	0	0	0	0	0
Sensitive Data	0	0	0	0	0	0
Secrets	0	0	0	0	0	0
Total	0	1	0	1	0	2

View scan details in Wiz

To detect these findings earlier in the dev lifecycle, try using Wiz Code VS Code Extension.