Add code lenses to LTOL specifications

[lou1306]

Code lenses associate VSCode commands to specific parts of a document 1.

In our case it would be useful to decorate LTOL properties with lenses letting the user verify only that property.