sync with mastercoin repo