Barmen interaction almost done.
Merge branch 'master' of https://github.com/YanyanZ/AlcoloBattle

Conflicts:
	AlcoloBattle.mlsim
	decision/client.mlbt
	knowledge/global.mlkb
Merge finalization.