Added mm for Travis
Merge branch 'master' of github.com:GL-MPRI-2014/GL_MPRI_2014
Grosse boucle : appel à Logic.try_next_action
remove Position.neighbours dependency
Player.mli : Définition des methodes d'interfaçage
Merge branch 'master' of https://github.com/GL-MPRI-2014/GL_MPRI_2014
Fix doc target
Merge branch 'master' of https://github.com/GL-MPRI-2014/GL_MPRI_2014 into autoconf

Conflicts:
	.travis-ci.sh