Add an implementation of `porteiro.db.datomic.user/insert!` user `Datomic` function to `Datalevin`

[macielti]

We need to reimplement the porteiro.db.datomic.user/insert! for Datalevin database. This task also contemplates the lookup function.