Removing deleted extensions. Fixes #4.

I simplified the extension management. We reload _all_ the extensions when a FS
event is detected now. It would be nice to do that on a per-extensions basis,
but, alas, it complicates matters too much.