updated .gitignore to ignore devel folder