when opening solver files (through file->open or e.g. in the finder) we now perform onelab_cb(reset); I think this is the right(TM) thing to do