jenkins: use a cache for plugins