How Red Hat killed its core product—and became a billion-dollar business