ProB Java API BOM (Bill of Materials) for improved version management when depending on multiple parts of the ProB Java API

A Bill of Materials (BOM) for Java/Kotlin applications to manage the versions of all Keyple artifacts