Что такое дистрибутив linux основные положения gnu gpl