bugfix: no more IndexError

Coquille crashed when CoqNext was called at the end of the buffer.