Option to include line numbering

[rj93]

It would be a nice to have the option to enable line numbering in the output

[romannurik]

I started on this in the prism branch but don't know if/when it'll be exposed.

[alan-barzilay]

has any progress been made in this direction?

[romannurik]

No, it's currently a hidden feature that needs a bit more work.

[abourget]

Oh how lovely it would be.

Awesome project btw, I love it.