update frame
udpate git config
Merge branch 'master' of github.com:pangpengde/uppaal-front-end
update project
delete old file