[2023.08] [coq-lsp 0.2.0] [v8.17] Draft Windows build

Changes:

- Simplify some paths and logic
- Don't exclude `sexplib0`
- Pin to latest Coq's v8.17+lsp branch
- Pin to latest coq-lsp's branch for 8.17
- Slightly reduced package set
- Added waterproof

Author: ejgallego