Make darcs-all act on all repos in libraries/, not just boot/extra libs