introduce RandIntSampler to simply the implementation of algorithms relying on fast repeated integer sampling
Merge branch 'master' into dh/sample
add weighted sampling