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.
It works with GNU make.