attack9 verification

[steven-hh-ding]

some changes for attack verification

• sys.join return the list of device and merged list of logs (I can't figure out how to reuse sys after the join function...)
• sys.run_d now takes the arc<mutex> instead of router, so the router object can be reused.
• added the verification interface for attacks (see attack 9)

[steven-hh-ding]

well.. since the CPU performance is unpredictable and there are randomness involve in the attack.. the only thing we can do is to run test multiple times..