Import of jellyfish-2.1.3 code, in order to add new commands