Update input files for Dialyzer benchmark

After R16 and the removal of the package system, the .beam files that were
included with Dialyzer's benchmark could no longer be processed by
Dialyzer, as the abstract code chunks included constructs that were no
longer supported. This patch replaces all the old .beam files with the
equivalent set from the R16B release.
Merge branch 'dialyzer_bench_update'