[lsp] fix code lens

Several fixes:

• use position for code lenses (not only line, better feedback during edition)
• keep lenses updated on file modifications
• avoir reload plugins
• clear global why3 location tables before parsing (otherwise incorrect refs are kept)
• only keep track of parsed locations (otherwise entire stdlib is kept)
• fixed range-map coordinates (off-by-one in columns)