Some changes toward next babyTuple bunch of fixes
Migrated from compile.sh to Makefile, cleaned up ProofLauncher and added filter of PROOF output the architecture