Bugfixes related to this change:
* e_file_inspector: During validation, the checksum is now calculated,
even if the file is old.
* e_file_inspector_json: Strip the "v" from the beginning of version
numbers in the database to make them proper PHP-standardized versions.
e_file_inspector_json_phar is an extended implementation of
e_file_inspector_json that encapsulates a JSON core image into a
gzip-compressed phar.
This results in space savings of over 60% compared to plain JSON.
