refinedc init does not support directory names containing hyphens
From #37 (closed):
refinedc initchoked on a hyphen in the pathname. Seems like Coq is to blame here but it would be nice if this wasn't a limitation seeing as how there's really no reason for it.
Renaming the project directory to something without the
-'s allowed it to work, but this will certainly block us from using RefinedC without a Docker image and file renaming hacks.
Maybe we should change all letters except
_ for the name of the Coq module? (Of course, one needs to check whether there are other problems as well.)