Sistemul de operare Linux și limbaje de programare