An implementation of the Mixcoin mixing protocol