coq-flocq: license