list all local sources the (demo) tools need, add a few missing scripts to

the dist tarball and remove a two duplicate file names from EXTRA_DIST
(most of it pointed out by Yang Tse)