More convenient way to launch kernels

Instead of
    vex::backend::kernel krn(queue, source, name);
    krn.push_arg(arg1);
    krn.push_arg(arg2);
    krn(queue);

One can
    vex::backend::kernel(queue, source, name);
    krn(queue, arg1, arg2);