exec-3.1.3...master

The last release 3.1.3 was on over 1 year ago on 2021-12-03.

This 3.1.4 contains lots of chore type work; the important "functional" changes (which motivate the release) are really:

• Fix for https://github.com/vorburger/MariaDB4j/issues/233 #96 from @cardamon
• volatile isAlive (fixes #99) #103 from @mosesn