gmsh: update to 2.8.5

Closes #1052.
ASL: upgrade to 20140704

Fixes #1056.
kmerstream 1.0: New formula

KmerStream: Streaming algorithms for k-mer abundance estimation