Implemented random selection of a k-element subset

in Util.hpp