Bndtools menu -> Refresh Repos now refreshes repo caches

This utilizes https://github.com/bndtools/bnd/pull/466