Add develop to .gitignore
Add badge from David