Better blame assignment when a spec is erroneous

Applies to the specification of the return value of a function.
More descriptive warning when a tuple pattern matches a typed record
Release notes and new version for R14B02
Merge branch 'ks/dialyzer-r14b02-final-touches' into dev

* ks/dialyzer-r14b02-final-touches:
  Release notes and new version for R14B02
  More descriptive warning when a tuple pattern matches a typed record
  Better blame assignment when a spec is erroneous
  Generate better warnings for failing guards
  Fix an erroneous warning
  Refactoring so that a flat string() is returned
  Renamed error/1 function and added specs
  Renamed error/1 function and added specs

OTP-9126
Simplify two specs
Add specs for behaviour callbacks
Add specs for functions that do not return
Introduce types to avoid duplication in specs
Strenghen spec
Add spec for function that does not return
Merge branch 'ks/kernel-dialyzer-cleanups' into dev

* ks/kernel-dialyzer-cleanups:
  Add spec for function that does not return
  Strenghen spec
  Introduce types to avoid duplication in specs
  Add specs for functions that do not return
  Add specs for behaviour callbacks
  Simplify two specs

OTP-9127
Merge branch 'pg/hipe-remove-constants-pool' into dev

* pg/hipe-remove-constants-pool:
  Remove hipe constants pool

OTP-9128
Merge branch 'sa/dialyzer-missing-spec' into dev

* sa/dialyzer-missing-spec:
  Add spec to dialyzer_cl_parse:get_lib_dir/1

OTP-9129
[httpd] Prevent XSS in error pages.
Prevent user controlled input from being interpreted
as HTML in error pages by encoding the reserved HTML
characters.
Merge branch 'pan/doc_link_corrections/OTP-9112' into dev

* pan/doc_link_corrections/OTP-9112:
  Remove link_check warnings re httpc.xml,sys.xml and unicode.xml
  Change io.xml so that html anchors gets generated for all arities
Update primary bootstrap
Update release version in install README
Update copyright years
Corrected fd_driver and cleaned up some really old code in win32/sys.[ch]
Used the wrong security property names in documentation.