Bump externals to Coq 8.17

[jihgfee]

Compilation of the current external submodules produce warnings, as a result of them not having been bumped since moving to Coq 8.17.

These should be bumped, and the Aneris repo should be lifted accordingly.