Rename ranrotb_prng.h to robinleffmann_ranrotb_prng.h