Replaced rdtsc() by clock() which is much more portable, but has  poor resolution. Some speedup to compute_norms().
Replaced rdtsc() by clock() which is much more portable, but has 
poor resolution. Some speedup to compute_norms().


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