Convey additional parameters to kernel launch

[kevin-bates]

This represents part of the effort to add support for parameterized kernels. The idea is that parameters will be conveyed from the front-end and be "processed" during the kernel's launch. In some cases, these parameters will be used by the kernel itself, but, I believe, most of the parameters will be used to create the right environment in which the kernel will run. Of course this portion will be the responsibility of the provider. We should just make sure the provider gets the information it needs via the kernel management framework.