Another attempt to get fast random numbers on travis-ci.

- Travis-CI seems to use OpenVZ, therefore writing to /dev/random is not
  allowed