Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis