.gitignore added progress on priority-sema and alarm-priority