Any suggestions for what we should call the new Hibernate ORM 5.3 module?  We can probably drop the slot and just include the version in the module name.

Some ideas: