New ion-dev release: 0.9.231

[marshall]

06/04/2019 - ion-dev 0.9.231

• Improvement: Fixed issue where some older Java libraries could not be loaded in an ion application

https://docs.datomic.com/cloud/releases.html#ion-dev-231