starting to separate ocs and byzcoin#1782

ineiti wants to merge 2 commits intomasterdedis/cothority:masterfrom

calypso_extensiondedis/cothority:calypso_extensionCopy head branch name to clipboard