jsonrpcserver package version changed to 4.2.0 (available at pypi repository) to avoid setup problems caused by old pip tool version See merge request !506
