linux un sistema operativo de código abierto