Bug#877293: gnome-terminal: Missing localization for 'Copy', 'Paste' and 'Copy as HTML'

[Egmont Koblinger]

The missing translations were committed into mainstream gnome-terminal git
after the 3.26.0 release, and hence will appear in 3.26.1.