Update install.py

We add arm compiling  for Apple Silicon  machines

Update jagmain.cxx

version is now added and displayed for jag

Predicate improvment

First, we now, have a specific method: Unify to compute the different predicates to put in the stack.
Second, we add a parameter idthread to Duplicate.

Update jag.h

Wrong test for end in code

First commit

First commit

First commit