bugfix: no more IndexError

Coquille crashed when CoqNext was called at the end of the buffer.
Merge branch 'master' into pathogen-bundle