Details on those 800 jobs coming to Red Hat this year