Implement configurable auto-pulling & lazy HEAD rewinding.

The `pull_from` field in config.json controls the remote & branch names
from which to pull from each time a new commit is sought. This will
detect an update to HEAD, and will reset the bencher to the new HEAD
if it changed.

Also, remove some old comments, etc.