[galaxy-user] New select random lines tool available on test

Dear users, I have created a new tool to randomly extract random lines from a dataset as some of you have requested it. It is now available in the repository and on our public test instance under "Text Manipulation". Any feedback is appreciated. Thanks, Kanwei