[Eva] Removes the management of Eva builtins from Db.

All types and exceptions are now defined in builtins.ml.
All builtins are now registered directly through builtins.ml.
Calls to Db in plugins Aoraï and Metrics are temporarily disabled.