Add build-plt and dialyze targets to Makefile