Improve the handling of Coq path.

This includes:
- A more robust behaviour of [refinedc init], including suggestions.
- A new [Coq_path] module to convert between strings and module paths.
1 job for ci/coq_paths in 15 minutes and 11 seconds (queued for 8 seconds)