Since rump now requires large buffers of random numbers (>= 512 bytes), use the jitterentropy library instead of the slow timer pseudo random number generation. Fixes #1393