Added more tools to the bootstrap script.