Red Hat Stock Down 3% After Earnings, Forecast Miss