--dump=tree:{weight,weightfull} creates dot graph with weights

* tree:weight only prints the boolean structure of the formula
* tree:weightfull also goes into the term computations (if one exists)
bugfixes in usr1 auto weight computation