[bootstrap] better name and location

I don't want this on my PATH, since it will typically be run only once
for a machine.
This commit is contained in:
Fernando Schauenburg 2018-04-15 11:30:01 +02:00
parent bfc2d9df84
commit f0675327c8