Add env variables and script options to define the git repository on github

Choice of the IAL version to use is now define by the content of the src/arom/ial_version.json file