Add dialyzer to makefile + minor README fixes