fixed bug in ws.WSModeManipulator in reading in model file, does not set attribute res_list any more
Added flexiblity for saving the manipulated model to a file given by the name initial_fn_basename