[new_cadofactor.pl]         - Changed the default choice for the cleaning-up question: now           defaults to "no cleaning-up" (i.e. the script will abort, until           you remove the offending files).
[new_cadofactor.pl]
        - Changed the default choice for the cleaning-up question: now
          defaults to "no cleaning-up" (i.e. the script will abort, until
          you remove the offending files).

        - Better compatibility with "hand-generated" (or at least not
          cadofactor.pl-generated) .kjout and .poly files. Instead of just
          looking for a particular comment at the end of the file
          ("# generated by ..."), we now parse it completely and check that
          all the mandatory values are here. We also check that the value of
          `n' in the file is consistent with the number we are factoring.


git-svn-id: 189946a10c5fc96e9dd03ba7cba917cd4c3d09f4@1751 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