Added a better randomizer implementation for rand-int

rand-int uses java.util.Random to generate a random number. For dice rolling, maybe not such a big deal but I think the java.security.SecureRandom implementation will promote better random number generation.