Access files in zip

This major commit keeps the files compressed in the zip archive,
accessing them on the fly. For that an independent library called
zipfileprovider was created. (It is also hosted on a different github repo).