Update doc/sources/installation/installation-linux.rst

Added Ubuntu devariants and Mint Linux