Next Coq sentence should handle bullets correctly

[Alizter]

Describe the bug

When encountering a bullet, the next sentence function skips over the bullet and the sentence all at once.

tactic.
- tactic.
- tactic.

when the cursor is at the first line, the next line function skips to the first bullet and then to do second. It should instead have 5 steps skipping to the first bullet, then the tactic inside, then the second bullet and the tactic inside.

[ejgallego]

I agree, it should be a matter of tweaking the regular expression.