readme changes. makefile rm additions. bigadd.m4 is origin.m4 origin is main backup for constant testing. auto_smt now creates the right files for assertions then pipes that to [m4_file]
Merge branch 'master' of https://github.com/wwwidmer/SMT_Checker_Addons