Add id for line number

Quickly and provisional modification for #232.
This makes it possible to jump to the line by URL hash.