Reorganizing directory hierarchy: moving all extra programs into tools/ for the moment.