use file:line:col as key for the xref dict

Signed-off-by: Adrian Negreanu <adrian.m.negreanu@intel.com>
extract docs and use xrefs key