make tools/times-tags.sh and tools/times.sh executable (mode 755).
Merge pull request #211 from matthiaskrgr/filemodes

make tools/times-tags.sh and tools/times.sh executable (mode 755).