Makefile: add dialyzer support. Small fixes