In coqtop, a terminating "." must now be followed by a blank or eof.
In coqtop, a terminating "." must now be followed by a blank or eof.

 This way, we forbid contiguous sentences like "tac.{tac.}", which
 should now be written with at least 2 spaces: "tac. {tac. }"

 This should avoid confusion if a user declare a notation involving
 ".{" or ".}" as tokens.

git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@14393 85f007b7-540e-0410-9357-904b9bb8a0f7

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq