pack libraries into 'lib' of zip-file

this causes a massive speed-up, packing together
libraries used to take seconds; but is now down
to a few milliseconds.

NOTE: this is far from robost just yet, since
all libraries end up in a directory named 'lib'
possibly overwriting whatever was there before.