Add method to get proof cell information all at once.

[ComboProblem]

Example

sage: K.<vars> = ParametricRealField([inital_data])
sage: h  = gj_function(vars)
sage: extemality_test(h)
sage: proof_cell = K.make_proof_cell()
sage: proof_cell.get_polys()
{ 'lt_poly':  list(proof_cell.bsa.lt_poly()),  'eq_poly' : list(proof_cell.bsa.eq_poly()),   'le_poly' : list(proof_cell.bsa.le_poly())}

This would be an improvement for access data generated and readability to users of the software.