certicoq/plugin/runtime -> certicoq/runtime

[andrew-appel]

Makefile.coq.local contains out-of-date references to certicoq/plugin/runtime that should now be certicoq/runtime.

See also CertiCoq/certicoq#108.