Add typer target

This patch adds a typer target to the Makefile. It makes it easier for developers to start adding specs to the codebase. It also has a build_plt target with the built-in applications typer needs to analyze rebar.
Would a `precommit` target for rebar make sense? It may help prevent issues like the dialyzer warnings that pop up under Erlang 17+.