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

Compilation system update with the help from Rolf Heilemann Myhre

Documentation updated with the inclusion of the tools
Selection of subdirectories to include during copy of repository in check_commit_* scripts
 - to limit volume
 - to reduce the risk of having a broken symlink (that could happen in the build directory)
Missing quotes in prep_code