bitcoinx / colored-coin-tools