Removed devel/ and added devel/ exclusion to .gitignore