Fix license type and description

This commit also...
- updates tools.mk and
- adds some configurations of xref/dialyzer, imcomplete but better than nothing