Merge branch 'release/3.1.2-3' into develop
Implement a secure random as suggested by @KenanSulayman in issue #7
Update version to 3.1.2-4.
Provide tar-ball archive.
Merge branch 'release/3.1.2-4'