update_dat script for fetching the very latest datfiles, since several people have missed this and sent me their own versions.