Update to mirage>=4.7.0

[reynir]

This is necessary to keep up with miragevpn changes.

[reynir]

I don't have a qubes setup to test it still works /o\

[palainp]

It compiles and runs find "on my laptop"(tm). I still encounter the AEAD decrypt issue, but that was already the case before :)

[2024-10-01 13:45:31] 2024-10-01T11:45:31-00:00: [ERROR] [miragevpn.mirage] miragevpn handle failed AEAD decrypt failed
[2024-10-01 13:45:31] Fatal error: exception Failure("exit called")
[2024-10-01 13:45:31] Raised at Stdlib.failwith in file "stdlib.ml", line 29, characters 17-33
[2024-10-01 13:45:31] Called from Lwt.Sequential_composition.bind.create_result_promise_and_callback_if_deferred.callback in file "duniverse/lwt/src/core/lwt.ml", line 1844, characters 16-19
[2024-10-01 13:45:31] Solo5: solo5_exit(2) called

[palainp]

hmm maybe you should also update the Dockerfile + hashsum? Github actions seem to be unactive, but a user may want to check the binary reproduction?

[palainp]

This is my current diff (the base image, debian repos, and opam have not been updated, but they can be as well if you prefer):
#15 onboards mirage-qubes update as well.