devel/pull: logging
devel/pull: read repo names from Pullfile

I lose my .bash_history file too often for some weird reason, so
probably shouldn't rely on it for this.