removing RedHat5 32bit which has a broken python dependency on batlab

redhat 5 32 bit is missing ctypes (since few months, it wasn't
used to)

PS: redhat 5 64 bits has ctypes
:-o

batlab/FingerPrint.run-spec

@@ -10,7 +10,7 @@ remote_task = FingerPrint/batlab/test.sh
 # remote_task_timeout = 5m
 
 # platforms = x86_64_ubuntu_12.04, x86_rhap_6.3
-platforms = x86_64_Ubuntu12, x86_64_Debian6, x86_64_Debian7, x86_64_RedHat5, x86_64_RedHat6, x86_RedHat5, x86_RedHat6, x86_64_Fedora17, x86_64_Fedora18, x86_64_Fedora19
+platforms = x86_64_Ubuntu12, x86_64_Debian6, x86_64_Debian7, x86_64_RedHat5, x86_64_RedHat6, x86_RedHat6, x86_64_Fedora17, x86_64_Fedora18, x86_64_Fedora19
 #platforms = x86_rhap_6.3
 notify = clem@sdsc.edu