Bump arkworks to 0.5.0

[winderica]

Now most of the forks listed in #146 are eliminated, although two of them are still inevitable (for now):

ark-circom = { git = "/~https://github.com/winderica/circom-compat", branch = "arkworks-next", default-features = false }
acvm = { git = "/~https://github.com/winderica/noir", branch = "arkworks-next", default-features = false }

[winderica]

I am not sure if we should maintain this file and noname/bridge.rs in the sonobe repo or in separate repos (e.g. in @dmpierre's forks). I tentatively adopt the former approach but am also happy to change to the latter!

[arnaucube]

This is great! Not only migrating to the newer version but also cleaning the trait bounds and the code in general! Very nice!

Regarding the Noir frontend, I think that as you put it it's fine for now, and probably eventually a good move would be to move all the experimental-frontends in a separate repo (one of the reasons being, apart from being highly experimental and slow frontends at their current version, it has been one of the friction/delaying points when advancing the main sonobe crates, due newer versions on the dependencies of the dependencies of the frontends were released, or just by adding extra complexity). For this PR I think it's good as you done it.