Use more Refined modules

[programaker]

According to https://github.com/fthomas/refined, section "External Modules", there is a Circe integration! With that, we may not need PersistentGameProgress anymore!

Also, there is integration for ScalaCheck and many more that can be useful. Take a look!

[programaker]

circe-refined worked very well! No need to create codex manually nor Persistent DTOs