herramientas para instalar sistema operativo linux