Moved useful tools to a separate repo and removed distro.make