spelling: red hat

Signed-off-by: Josh Soref <[email protected]>

Author: jsoref

gsoc/2014.md

@@ -63,7 +63,7 @@ in the [Scala compiler][mb2], but produces too much bytecode to be
 useful in practical applications. Although miniboxing is developed for
 the Scala language, the same transformation could also be implemented
 in [Java][mb3] and in other JVM languages, such as [IBM's X10][mb4],
-[JetBrains' Kotlin][mb5]  and [RedHat's Ceylon][mb6].
+[JetBrains' Kotlin][mb5]  and [Red Hat's Ceylon][mb6].
 
 The miniboxing transformation matches optimal performance in
 microbenchmarks, but in order to make a significant impact in the