linux是什么，有什么特点