bootstrap.sh: Avoid `source` if there are no changes

Closes #220.