Revise the distribution script to use a tags subdir, not trunk. * dist.sh: revamp for tags-based distro