Add GitHub upstream repo for `libraries/random`

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>