RingForHomalgInSingular now supports "finalizer" functions

we need this to call minpoly prior to setting the distinguished ring elements in
. HomalgRingOfIntegersInSingular
. HomalgFieldOfRationalsInSingular

needs MatricesForHomalg v2013.06.06
Zero, One, and MinusOne now have true pointers
an enter
sorted entries in CommonHomalgTableForSageTools
Updated parameter list of Evaluate
added Vinay as author
Perform( var, ... SetName ) -> Perform( var, Name )
removed Error messsage if indeterminate does not yet have Name set

Error( "the indeterminates of the base ring must all have a name (use SetName)\n" );
make _MAGMA_SetRing more robust

it now passes the names of the indeterminates rather than their pointers
(this is necessary in future when we completely abondon strings as pointers)
make RP!.SetInvolution for Singular more robust

it now passes the names of the indeterminates rather than their pointers
(this is necessary in future when we completely abondon strings as pointers)
installed AddRationalParameters for Singular rings

needs MatricesForHomalg v2013.06.07 for the declaration
use pointers for EvalRingElement instead of strings

affects:
+ MatElm
+ homalgTable entries:
  . Minus
  . DivideByUnit
  . Sum
  . Product
  . CancelGcd