Remove inclusion of boost/version.h in random.cc.
Update speedlog and remove redundant input files.
Fix a bug of validation without a fault tree.
Add Baobab2 input files.
Add Chinese fault tree input files.
Add CEA9601 input files.
Change the mod of xml files. Remove -x.
Add BSCU fault tree input files.
Add SmallTree fault tree input files.
Add HIPPS fault tree input files.
Add new performance information into the log and script.