Add dependency to rngtools 1.2.4
Merge branch 'develop'