Merge pull request #5 from heniancheng/master

merge
DPOP计算通信时间对tree height的使用-1
修正Batch按钮启动后打开文件夹选择框选择取消后Batch复选未取消的错误
添加了对Constaint Graph的显示
save
save
Merge remote-tracking branch 'upstream/master'

Conflicts:
	DCOPSolver/dfsTree.txt