Adding jquery-random plugin (with improved "randomness") and its complemet PHP static class Random.