Sets the port of the DRb server.

    # Set:
    Vedeu.configure do
      drb_port 12345
      # ...
    end

    # Get:
    Vedeu.config.drb_port