Gimli: a cross-platform permutation