ernisto/random_option

a rng utility