[galaxy-dev] Update some tools

Hi all,   I need to deal with fastq encoding 1.8+ data, so I need the FASTX-Toolkit v0.0.13. So how to update the FASTX-Toolkit in the galaxy? By the way, I run a local instance of galaxy.