bowtie 1.0.1
graph-tool 2.2.31

Closes #802.
insighttoolkit 4.5.2

Closes #824.