Update tools.mk to v0.5.4

Removes the need to specify line numbers in the dialyzer ignore file.
The better thing would be to override in the top-level Makefile, right? What's preventing us from doing that?