Replace random generation with random_int()

[denys-potapov]

Replace homemade random generator with PHP7 int random_int (int $min, int $max ).

For backward compatibility use random_compat polyfill.