isl_seq_normalize: use pre-allocated temporary variable in isl_ctx