Replace our own Random number generator for @ircmaxell's random-lib. Fixes #662.