[2023.08] [coq-lsp 0.1.8] [v8.18] Draft Windows build

Changes:

- Simplify some paths and logic
- Don't exclude `sexplib0`
- Pin to latest Coq's v8.18+lsp branch
- Pin to latest coq-lsp's branch for 8.18
- Slightly reduced package set, updated for 8.18

Author: ejgallego