hipe: Correct pretty-printing of bitstrings
Use compile options when dialyzing beam files

Fetch the compile options from beam files, and use them when creating
core from the abstract code. Previously the options were ignored.

Test by Henrik Nordh
dialyzer: fix a -Wunderspecs bug

Sometimes bogus warnings were generated for parametrized types.

Thanks to Krzesimir Sarnecki for pointing the bug out.

Also corrected warnings where the structure of opaque types were
exposed (thanks to Kostis for pointing the bug out).
dialyzer, hipe: Fix a bug concerning is_record/2,3

Also fixed some cases where Dialyzer could crash due to reaching
system limits.
Merge branch 'fishcakez/dialyzer_beam_opts' into maint

* fishcakez/dialyzer_beam_opts:
  Use compile options when dialyzing beam files
Update version numbers
Update release notes