Update tools.mk to v0.5.4

Removes the need to specify line numbers in the dialyzer ignore file.
ugh, having repo-specific things violates the purpose of tools.mk. We should either not use tools.mk at all, or use it verbatim. It's too much work to keep track of repo-specific things like this.