In a few places, replace “Octave” by “GNU Octave”

This is a revert 683011b4.

Actually, the official name is “GNU Octave”, and it is easier to find it under
that name in search engines. So use the full name at a few prominent places,
and use the shorter “Octave” everywhere else.
2 jobs for master in 41 seconds (queued for 10 minutes and 32 seconds)
Status Job ID Name Coverage
  Build
passed #15649
build

00:00:36

 
  Deploy
passed #15650
restricted
deploy

00:00:05