Multiple extensions directories #693

This allows us to merge a user's extensions with those offered by a declarative environment.

union fs is bad because

• it requires root
• would have to maintain separate implementations for each OS