Create `xstencil` export from `proof.js`.

Create an `xstencil` export from the directives `proof.js` to
distinguish it from the Stencil language Stencil engine.

See #131.