devcontainer: fix Ubuntu to 23.10 and remove libicu

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.68k stars 231 forks source link

Closed mtzguido closed 3 months ago

mtzguido commented 3 months ago

Same as for CI some time ago.

This fixes the devcontainer, though it is slow to start.