Make iFresh faster on environments containing evars.

Generating a fresh name consists of two stages:
+ Use [cbv] to compute a list representing the domain of the environment. This
  is a very simply computation that just erases the hypotheses.
+ Use [vm_compute] to compute a fresh name based on the list representing the
  domain. The domain itself should never contain evars, so [vm_compute] will
  do the job.
1 job for master
Status Job ID Name Coverage
  Test
passed #443
coq
buildjob

00:03:39