minor

added devel folder to .gitignore