Modified .gitignore to include /devel