Harry 0.3.2: New formula

Harry is a tool for comparing strings and measuring their similarity. The tool
supports several classic string distances, such as the Levenshtein and
Jaro-Winkler distance, as well as modern string kernels, such as the Spectrum
and Subsequence kernel.

Closes #1364.
Sally 0.9.1: New formula

Sally is a tool for mapping a set of strings to a set of vectors. This mapping
is referred to as embedding and allows for applying techniques of machine
learning and data mining for analysis of string data.

Closes #1365.
Crlibm: new formula

Closes #1362.
Merge remote-tracking branch 'upstream/master' into sally