Improve derive macro for ExtensionDispatch

[Robin Krahl]

• provide different sets of extensions for the same backend with the different IDs
  • #153
• warn if an extension is declared but not implemented
• support optional backends
  • #158
• add skip option, e. g. for PhantomData
  • #153
• add no_core option to skip core requests
  • #153