correct the implementation of rule searching; add debug option
modify gitignore
Merge branch 'master' into glue
merge with master to get some updates from another branch
Merge pull request #8 from xiaohe27/glue

Glue