Adding wget --user-agent option to .babunrc