* added -f q option to be able to specify a special-q   (currently assumes a root exist for that q, and takes only the first root) * added some timing info on stderr * what is not clear to me is whether we should take the special q into account   for the mfb (and lambda) bound
* added -f q option to be able to specify a special-q
  (currently assumes a root exist for that q, and takes only the first root)
* added some timing info on stderr
* what is not clear to me is whether we should take the special q into account
  for the mfb (and lambda) bound


git-svn-id: 189946a10c5fc96e9dd03ba7cba917cd4c3d09f4@830 de4796e2-0b1e-0410-91b4-86bc23549317

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs