multiple changes

- port-depcheck.sh: remove tempfiles if no difference in dependencies
- port-unprovided.sh: write list of unprovided files to logfile; also
add more warning messages
- other minor tweaks