Rename random to harsh_random.

Forgot one random
Merge pull request #8 from juggy/master

Rename random to harsh_random to prevent conflicts with other extensions