massive update to slim library update tool, get-git-slim-libs.r