mini_hexagon now uses SFMT for random number generation
(see also http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/)