Clear a SERVER's scip pointer when freeing the scip!