Relax the requirement that `Context` must be the first generic on a module, or document the restriction

[preston-evans98]

Currently, the #[derive(ModuleInfo)] macro assumes that the first generic on a module is the Context. If some other generic comes first, the macro will fail.

cc @bkolad