Add a filtering capability at data loading
Data loading mechanism already implements a filtering capability for gzip-compressed files.
When such files are present in the configuration data (typically an
orekit-data folder in
some well-known location), then a decompression filtering layer is
inserted between the
opening of the file by the operating system and the parsing by Orekit
data loaders.
This mechanism should be extended to allow more filters to be inserted,
including user-supplied
filters. This would allow more decompression scheme to be used as well
as deciphering or
monitoring capabilities.
(from redmine: issue id 446, created on 2018-04-27, closed on 2018-06-04)