Adds a HashMap to allow CityDoctorController to remember the Checker of
a CityDoctorModel, to allow switching of models with ZipEntryManager
without having to rerun the Checks when an already validated model is
loaded again.

Short-term meaning, that the memory is only kept for this session and
only till the next CityGML source is loaded (even if the same zip file
gets loaded again).

Adds a button to ZipEntryPicker for decompressing all registered
ZipEntries in the archive.