IBM koopt Red Hat voor 34 miljard dollar – maar wat is Red Hat?