Enhance library import

[bsmmoon]

'Libraries are usually found on the internet in github repos or zip files, and we have some ways to import them, but we can do better. A zip export wouldn't hurt either.'