Deleted compatible project - the uprove-js-prover is compatible with the MS implementation