Several fixes to spot readers

Several fixes to spot readers:
- when a file is requested from the product, the tree path is inspected
to check for the file, even if the letter case is not correct
- the regex for spot4take5 and spotdimap was wrong
- the name of the dimap product is the product id, and not the title,
because the title contains special characters, which can raise problems
when running on linux