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