Moved a bunch of files to new coq-au-vin-examples repo.