fix ProofGeneral.texi for info
update TAGS
Set version tag for new release.
Fix image name
disable and protect coq-hide-additional-subgoals-switch for coq-time-commands
fix type of coq-project-filename