Mathemagix

[Grégoire Lecerf <address@concealed>]

Hi,
I've just committed what discussed earlier on mmx boot file.
In mmxlight/etc/mathemagix/boot.mmx you will find the new global boot 
file that is loaded
at the very beginning of mmx-light unless the --noboot option is set.
Note that user's boot file is now loaded at the end of the global one.
boot.mmx is installed in sysconfdir/mathemagix/
I have edited set-devel-path so that every works fine in development mode.
Finally there is a germ of installation notes in doc/ -- to be 
completed. Bernard, could
you add a couple of words on "pack" therein?
Grégoire.