May 2017 Tool Shed contributions

Tools contributed to the Galaxy Project Tool Shed in May 2017.

New Tools