resources.conf.prod: Add dev_args to select specific Lime device

Change-Id: I6ef234edb06031644758174e93a9d3817d0acc1f
diff --git a/example/resources.conf.prod b/example/resources.conf.prod
index e6ade3a..dc7e337 100644
--- a/example/resources.conf.prod
+++ b/example/resources.conf.prod
@@ -61,6 +61,7 @@
     remote_user: jenkins
     trx_ip: 10.42.42.117
     clock_reference: external
+    dev_args: "LimeSDR-USB,serial=00090706024F0A22"
 
 - label: sysmoCell 5000
   type: osmo-bts-trx