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