New version of BioDiVinE-1.0 with piece-wise multi-affine abstraction algorithm and new light CLI