This upgrades dialyxir, simplifies the set of included apps, and adds an "ignore" rule for the leex-related warning that we otherwise can't control.