isl_tab.c: restore_basis: accept NULL pointer on zero-size allocation