[Extensions] Load extensions on demand

This series is the final step of the work that has been going on to make it possible to load extensions only when needed.

The basic concept of this series is the Trampoline, basically a trap, that will be installed for the extensions entry points. This trap, when hit, will cause it to remove itself (and all the traps related to it) and load the extension.