Vs Code symbol provider

Allow you to Ctrl + Click on any internal link such as \x[] and jump to the corresponding header.

We'd just use the SQLite database with some exiting wrapper function most likely. Hardest part is likely calculating the target ID.