Update archimedes 0.4.15

This avoids a warning during `opam update` (somebody reported it to me).