Promote opentelemetry docs to main docs

`ghcide/docs/opentelemtry.md` is helpful, but we should promote it to the main docs so it's clear how to use it with HLS. Ideally we should also check if it works!