Avoid generating R1CS/PK/VK by default

[hussein-aitlahcen]

Introduce a command to generate the R1CS/VK/PK instead of automatically generating them if they don't exist. Launching galois without keys or command to create them must be a hard error.