Remove {-# CORE #-} pragma (part of #18048)

This removes support for {-# CORE #-} pragma, as I've commented on #18048 (closed).

It was introduced for External Core, which no longer exists. It has no effect in GHC (ignored in desugarer) since 2011.

Updates haddock submodule.