server: added new XORshift algorithm for random number generation