Added a new extension (RoleAnnotations) to the list
Fix link to users' guide.
Merge branch 'master' into roles

Conflicts:
	Cabal/Cabal.cabal
Merge changes from GHC HQ fork

Conflicts:
	Cabal/Cabal.cabal