loadvariables()
loadvariables("name.mlf")
loads the variables from a serialized .mlf-file
The variables are written as a serialized stream of java objects. Therefor the
format of the .mlf-file is java-specific. The file is also specific to the
versions of MathLib token and classes.