fix -Wno_behaviours doc error in dialyzer man page

The description of the -Wno_behaviours in the dialyzer man page incorrectly
includes a "***" footnote marker, indicating that it's an option that turns
on a warning rather than turning it off. Since the option actually turns
off a warning, remove the marker. This fix makes the documentation match
that obtained from dialyzer --help.
Fix an erroneous spec

The branch that patched this file to handle the new "named funs"
added an extra argument to the main function of the module but
forgot to update its spec.
[dialyzer] Re-work the handling of opaque types

It is now OK to inspect and modify the internals of opaque types within
the scope of the module.

The contracts are used for decorating types with opaqueness when it is
harmless to do so. The opaqueness is propagated by the typesig module
and also by the dataflow module.

A lot of details have been fixed or updated. In particular the modules
erl_types and erl_bif_types have been modified extensively.

The version in vsn.mk has been updated to 2.7. The reason is a
modification of #opaque{} in erl_types.

Dialyzer seems to be about five percent slower than it used to be.
Merge branch 'hb/dialyzer/opaque_types_fixes/OTP-10397'

* hb/dialyzer/opaque_types_fixes/OTP-10397:
  [dialyzer] Re-work the handling of opaque types
dialyzer,hipe,stdlib: Add Maps understanding to Dialyzer
dialyzer: Reflect map_pair core changes in dialyzer
dialyzer: Remove dead code
dialyzer: Add maps tests
Add a spec for a function that does not return
Shut off a dialyzer unmatched return warning

Dialyzer does not like list comprehensions for which the result is not
assigned to some variable (maybe anonymous).  In this particular case,
the comprehension, containing only a filter but no generator, was used
to save some lines, but IMO this type of code, while "cute", is not so
easy to comprehend.
dialyzer: Silence useless warnings about list comprehensions

Dialyzer will warn if the value of list comprehension is
ignored by putting it in a sequence like this:

  [SomeSideEffect(E) || E <- Es],
  ok

To avoid a warning, you'll have to write:

  _ = [SomeSideEffect(E) || E <- Es],
  ok

Most of the time, this warning is merely annoying because it does
not point out any real errors.

Kostis Sagonas suggested that by suppressing the warning for
list comprehension that return a list of a simple type (e.g. ['ok']),
there would be no warning for code such as:

  [io:format("~p\n", [E]) || E <- Es],
  ok

but there would be still be a warning for:

  [file:close(Fd) || Fd <- Fds],
  ok

because an error condition is ignored.
Fix httpd config option 'script_timeout'

This fixes the usage of the httpd configuration option 'script_timeout',
which got ignored before.

The documentation states that the value is in seconds, which was true
when using the Apache like configuration file, but not true when using
the proplist style configuration.
Add app-test and correct dialyzer.app.src
Merge branch 'kostis/dialyzer-r17c0-fixes'

* kostis/dialyzer-r17c0-fixes:
  Shut off a dialyzer unmatched return warning
  Add a spec for a function that does not return
Merge branch 'maint-r15' into maint-r16
Merge branch 'maint'
Fix edoc usage errors

Errors discovered using `erldocs`:
  Superfluous @hidden tag would exit edoc application;
  'Multiple @spec tag': appended a @clear tag after macro condition;
  '@spec arity does not match': added missing argument.
Merge branch 'vinoski/dialyzer-doc-fix'

* vinoski/dialyzer-doc-fix:
  fix -Wno_behaviours doc error in dialyzer man page

OTP-11706
Merge branch 'bjorn/lc-warnings/OTP-11626'

* bjorn/lc-warnings/OTP-11626:
  dialyzer: Silence useless warnings about list comprehensions
Fix library application appup files

As discussed in issue #240 *all* OTP library applications use the '.*'
wildcard as up and down version. This makes library applications
always up- and downgradeable. Using the wildcard version obsoletes
all maintenance tasks regarding library applications' appup files.
Additionally, it prevents upgrade problems caused by automatically
included application dependencies when using reltool to create
releases. Missing copyright headers are now consistently present.