Update boolector to 1.6.0.