Add -fwarn-holes-in-types

When -XPartialTypeSignatures is enabled, the errors about holes in partial
type signatures are converted into warnings when -fwarn-holes-in-types is
on (it is by default), otherwise the inferred types are silently accepted.

Use this flag to remove these warnings from the test output.
Update the manual