isl_tab_push_basis: accept NULL pointer on zero-size allocation