Sets the port of the DRb server.

    Vedeu.configure do
      drb_port 12345
      # ...
    end