Add erts to dialyzer apps

This prevents warnings about unknown functions in the erlang module.
Export missing type specification
Ignore dialyzer PLT file