Adds the ability to keep around the generated maven project
Adds the ability to keep around the generated maven project

idris-hackers/idris-llvm,melted/idris-llvm,idris-hackers/idris-llvm,melted/idris-llvm