Cryptominisat license change