Jim Cramer swaps Twilio for Red Hat in his ‘cloud kings’ group of hot tech stocks