Added devices count

git-svn-id: https://redmine.imt-atlantique.fr/svn/xaal/code/Python/branches/fork@1541 b32b6428-25c9-4566-ad07-03861ab6144f

apps/tools/xaal/tools/walker.py

@@ -29,7 +29,7 @@ def main():
     t0 = time.time()
     for k in devs:
         dumper.query(k)
-    print("Time : %0.3f sec" % (time.time() -t0))
+    print("Time : %0.3f sec (%d devices)" % (time.time() -t0,len(devs)))
 
 
 if __name__=='__main__':