Fix precision of record creation violation warnings

Before patch Dialyzer was reporting all the fields that were not subtypes
of the declared ones as incorrect. The correct violations are for the fields
whose intersection with the declared ones is empty.
Report spec discrepancy on mismatching lists

This patch enables Dialyzer to detect cases where a function has a specification
for a return type containing some list with elements different than the ones
Dialyzer's own algorithm can infer e.g. a function specified to return [atom()]
when actually [[atom()]] is returned.

Previously Dialyzer remained silent, under normal operation, seeing that these
two types have the empty list as a common element, so they were not 'completely
irrelevant'.
Fix some FOP warnings

Examples overflowing the width of PDF pages have been fixed.

The remaining warnings are due to table cells, and require more
work.
Prepare OTP files for Unicode as default encoding
mnesia: Update dialyzer warning

Commit 0c6fe3713b9e2d6497cbfe9275d1170cefb5f169 updated the spec for
sys:handle_system_msg/5.
Cope with removed support for packages

Packages were removed in 34d865a7dfdb33ee1e69fc28885f68baeeadfd98.
small_SUITE: Update warnings for port functions
Merge branch 'sa/dialyzer-record-field-type/OTP-10681'

* sa/dialyzer-record-field-type/OTP-10681:
  Fix precision of record creation violation warnings
Implement ./otp_build configure --enable-silent-rules

With silent rules, the output of make is less verbose and compilation
warnings are easier to spot. Silent rules are disabled by default and
can be disabled or enabled at will by make V=0 and make V=1.
Remove what remains of the Mnemosyne code
Merge branch 'nox/enable-silent-rules/OTP-10726'

* nox/enable-silent-rules/OTP-10726:
  Implement ./otp_build configure --enable-silent-rules
Merge branch 'lh/forget-mnemosyne/OTP-10729'

* lh/forget-mnemosyne/OTP-10729:
  Remove what remains of the Mnemosyne code
  Remove support for the query keyword and query expressions
Merge branch 'sa/dialyzer-list-spec/OTP-10740'

* sa/dialyzer-list-spec/OTP-10740:
  Report spec discrepancy on mismatching lists
Properly support functions with arbitrary arity in type specs.
Report spec discrepancy on mismatching lists
Merge branch 'sa/dialyzer-list-spec/OTP-10740'

* sa/dialyzer-list-spec/OTP-10740:
  Report spec discrepancy on mismatching lists
  Properly support functions with arbitrary arity in type specs.

Conflicts:
	lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum
Fixed merge issue
Properly support functions with arbitrary arity in type specs.

Dialyzer now understands the "fun(...)" syntax in type specs.
Remove pubsub and comm_layer tests from testsuite

These tests recently broke because of the deprecation of the package system.
Furthermore, they included copyrighted code.
Finally they were not minimized not targeted to any specific feature and had no
warnings being reported.
Update one more unused funs result as per ffe582b