Changed global settings on gitignore
Merge branch 'mit-dev' of github.com:karuto/aig into mit-dev