Log Message:
tex-vhistory{,-doc}: Update to 1.80.

# Release 1.8.0
- Included Spanish translations supplied by Hector, Fernando and Roberto
- Included Portugese translations supplied by João Ricardo Lourenço

# 2013-08-05: Release 1.7.0.
New option omittable for people who don't want to have a table with
all revisions.