Clean the linux installation part / refactorisation

IMHO, it is better to distinguish families of linux more than popular elements of those families.

(I'm working on install instructions for Gentoo, for a later pull request)