arm/fvps: rename rdv3-r1

Rename rdv3-r1 to be more consistent with other machines and match
documentation/website.

Signed-off-by: Jon Mason <jon.mason@arm.com>

ci/fvps.yml

@@ -32,8 +32,8 @@ target:
   - nativesdk-fvp-rd1-ae
 
   # Infrastructure FVPs
-  - fvp-rd-v3-r1
-  - nativesdk-fvp-rd-v3-r1
+  - fvp-rdv3-r1
+  - nativesdk-fvp-rdv3-r1
   # These are x86 only... :(
   - nativesdk-fvp-sgi575