The tool has not yet been migrated to the Tool Shed. I've asked our team for an update. Progress can be followed here (along with other tool migrations): https://github.com/galaxyproject/galaxy/issues/636
Meanwhile, the tool is included in the 17_05 distribution. Search for "David" in the tool panel.
Thanks, Jen, Galaxy team