adding more garbage to .gitignore

astree: minor change
adding compilation of astree to Makefile; make sandbox