Promote opentelemetry docs to main docs

[michaelpj]

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!