rng-tools: moved to github