Doc: Linux gstreamer install, exclude doc packages

In the installation of gstreamer-dev packages on Linux, excluding the
doc packages saves disk space and bandwidth.