update .gitignore
Merge branch 'develop' of github.com:chocoteam/choco3 into develop
update doc