Makefile: add "dialyze" target.