Add proposal for eventNames when make an when block. Move allowed event information in specific when block to validator instead of CFG
add some DS_Store files to ignore
Merge branch 'master' of github.com:feupeu/SW401F14-Xtext