Commented Position.mli
Merge branch 'master' into interface_dev

Conflicts:
	src/common/Position.mli
Merge pull request #30 from GL-MPRI-2014/interface_dev

Commented Position.mli