feat(field_theory/algebraic_closure): algebraic closure (#3733)
```lean
instance : is_alg_closed (algebraic_closure k) :=
```
TODO: Show that any algebraic extension embeds into any algebraically closed extension (via Zorn's lemma).
Co-authored-by: Patrick Massot <patrickmassot@free.fr>
