modify .gitignore
Merge branch 'upstream' of github.com:zsy056/ripl into upstream