An implementation of the Mixcoin mixing protocol in Javascript