Modification to integrate the new generator

Makefile

@@ -57,7 +57,7 @@ $(VFPG): $(COQ_MAKEFILE) all
 	@echo  "${bold}Verified Flight Plan Generator...${normal}"
 	cd ../../.. ; \
 	ocamlbuild $(FLAGS) $(VFPG).$(TARGET)
-	mv ../../../$(VFPG).$(TARGET) .
+	cp ../../../$(VFPG).$(TARGET) .
 	@echo "${bold}OK.${normal}"
 
 CommonFP: $(COQ_MAKEFILE) all $(GEN)/CommonFP.v