Rewrite announce file

Incredibly enough this hasn't been touched since 6.10.1

ANNOUNCE

 
-   ==============================================================
-    The (Interactive) Glasgow Haskell Compiler -- version 6.10.1
-   ==============================================================
+           ===============================================
+            The Glasgow Haskell Compiler -- version 8.0.1
+           ===============================================
 
-The GHC Team is pleased to announce a new major release of GHC. There
-have been a number of significant changes since the last major release,
-including:
+The GHC Team is pleased to announce a new super-major release of GHC. This is
+the most significant GHC release in quite some time, including both a number
+of major features and numerous bug fixes. These include,
 
- * Some new language features have been implemented:
-   * Record syntax: wild-card patterns, punning, and field disambiguation
-   * Generalised quasi-quotes
-   * Generalised list comprehensions
-   * View patterns
+ * The TypeInType extension, which unifies types and kinds, allowing GHC
+   to reason about kind equality and enabling promotion of GADTs to the type
+   level.
 
- * Type families have been completely re-implemented
+ * Support for record pattern synonyms
 
- * Now comes with Haddock 2, which supports all GHC extensions
+ * The DeriveAnyClass extension to conveniently derive default instances
 
- * Parallel garbage collection
+ * More reliable DWARF debugging information
 
- * Base provides extensible exceptions
+ * Support for injective type classes
 
- * The GHC API is easier to use
+ * Applicative do-notation
 
- * External core (output only) now works again
+ * Support for wildcards in data and type family instances
 
- * Data Parallel Haskell (DPH) comes as part of GHC
+ * Strict and StrictData extensions, allowing modules to be compiled with
+   strict-by-default bindings
 
-The full release notes are here:
+ * The DuplicateRecordFields extensions, allowing multiple datatypes to declare
+   the same record field names provided they are used unambiguously
+
+ * Support for implicit parameters providing light-weight callstacks and source
+   locations
+
+ * User-defined error messages for type errors
+
+ * A rewritten (and greatly improved) pattern exhaustiveness checker
+
+ * GHCi can run the interpreter in a separate process, and the interpreter can
+   now run profiled code.
+
+ * and more!
+
+A more thorough list of the changes in the release can be found in the release
+notes,
+
+  http://haskell.org/ghc/docs/8.0.1/html/users_guide/release-8-0-1.html
 
-  http://haskell.org/ghc/docs/6.10.1/html/users_guide/release-6-10-1.html
 
 How to get it
 ~~~~~~~~~~~~~
@@ -52,13 +68,12 @@ Background
 Haskell is a standard lazy functional programming language.
 
 GHC is a state-of-the-art programming suite for Haskell.  Included is
-an optimising compiler generating good code for a variety of
+an optimising compiler generating efficient code for a variety of
 platforms, together with an interactive system for convenient, quick
 development.  The distribution includes space and time profiling
 facilities, a large collection of libraries, and support for various
 language extensions, including concurrency, exceptions, and foreign
-language interfaces (C, whatever).  GHC is distributed under a
-BSD-style open source license.
+language interfaces. GHC is distributed under a BSD-style open source license.
 
 A wide variety of Haskell related resources (tutorials, libraries,
 specifications, documentation, compilers, interpreters, references,
@@ -107,13 +122,13 @@ Mailing lists
 We run mailing lists for GHC users and bug reports; to subscribe, use
 the web interfaces at
 
-    http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
-    http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
+    http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
+    http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-tickets
 
 There are several other haskell and ghc-related mailing lists on
 www.haskell.org; for the full list, see
 
-    http://www.haskell.org/mailman/listinfo/
+    https://mail.haskell.org/cgi-bin/mailman/listinfo
 
 Some GHC developers hang out on #haskell on IRC, too: