Allow marking devices as not released

Not released devices are not included into release ZIP files.
shell: Fix executable flag setting
Simplify .gitignore