Add various scripts into bin from the tools repo

The tools repo is too small to be standalone, it will be moved here
for easier management.