CRIU: как маленький open source проект меняет жизнь большой компании