Implementation of a verifier for the Verificatum Mix-net