- removed context.default_plugin

- changed the main so that we load the plugins *before* we set the
  options (this way you can save your favourite plugin options in
  .gmsh-options, too)