Debian: remove automatically generated files and add a script to make them

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>
Debian: install some networking-related tools

Signed-off-by: Nicolas Iooss <nicolas.iooss_git@polytechnique.org>