Added generation of binpacking JSON for Arnaud as a new output option.
Improved the ATD make script (I don't know why, but the standard makefile doesn't handle well ATD on some machines, so we still need to regenerate its outputs by hand).