Index file name is an impl detail of JarIndexer;
add API to get the File, so the impl details can change, where the API still returns proper File.
Also allow to handle other extensions than .jar.