Add a ./bootstrap script