Paul Cormier brings an engineer’s eye to top role at Red Hat