Document Make check
Set version tag for new release.
more appropriate URL;
Fixing #466. Indent. bug when illformed commment at file beginning.

Nasty bug due to smie fallback to backward-sexp when finding an
unknown token, namely the token "", which happens when reaching the
bof. Had to add a specific token for b o f.
Updating pg documentation about new feature coq project file.
Fixing #473. Now all token finishing by <symbol><dot> is considered an
end of command, except if exactly <dot><dot>
Fixing #474. & is now an declared operator. I need something better to
capture any operator and give it a (configurable?) precedence.
Fixing again bug #466. With a bbetter solution.
Not using "b o f" token anymore.