rename $device_opts to $device_options

For naming consistency with $devicescan_options