Force the Docs structure to prevent leaks in GHCi with -haddock without -fwrite-interface

Merged Zubin requested to merge wip/force-docs into master

The NFData instance for ModIface looks a bit dubious because it carefully chooses to force or not force certain fields, but it can easily break/change semantics when someone adds, removes or reorders fields in ModIface. I suggest using RecordWildcards or NamedFieldPuns to avoid this.

Merge request reports