Make bootstrap executable, mostly documentation