doc(ubuntu-gcc): update apt-get options, fix opam parameter