Use a local installation of MAGMA, if available

The current MAGMA interface is a human API: the user is asked to copy/paste commands to and from MAGMA.  If MAGMA is available in the command line, it should be called automatically, without user intervention, similarly to existing functionality for GAP.