poke: use AES-based PRNG
poke: use AES-based PRNG

Poke now uses the Crypto.Random.AESCtr module to generate random
numbers. This is a far better PRNG (it is cryptographically secure!)
than the old one from System.Random. It uses the State monad to keep
track of the changing internal bits of the PRNG.

listx/syscfg,listx/syscfg,listx/syscfg,listx/syscfg,listx/syscfg