Added dolog for logging, and removed pulseaudio
Added initialisation of logging tools
Modified all previously existing logging tools
Merge branch 'master' of github.com:GL-MPRI-2014/GL_MPRI_2014

Conflicts:
	Makefile.in
game_engine : Implementation de init_network
simple server test
Changed the spec of Buildings, Added Cities
Merge branch 'master' of https://github.com/GL-MPRI-2014/GL_MPRI_2014
Player : player has logic players list
Merge branch 'master' of https://github.com/GL-MPRI-2014/GL_MPRI_2014
Every player has method update
one_liner player array init
Merge branch 'master' into config

Conflicts:
	Makefile.in
	src/engine/Game_engine.ml
fixes