updating to next hotfix release version
fix #309
ensure that a token always has it's own token index as left_token and right_token value (and not the one of another overlapping token)
also update version in documentation and buildbot
updating changelog
Finish annis-3.1.2