Upgrade erlang to 17.1
Add dialyzer to toolchain