[contrib] Fix buglet in validate_failures.py

[Diego Novillo]

An earlier patch had made the command line options a global variable
_OPTIONS, but it had not renamed all the uses of the old options argument.

	* testsuite-management/validate_failures.py: Fix stale
	use of 'options'.

Doug, if you're using validate_failures.py in some other branch,
you may want to cherry pick this fix.

 
diff --git a/contrib/testsuite-management/validate_failures.py b/contrib/testsuite-management/validate_failures.py
index 483f466..d02b575 100755
--- a/contrib/testsuite-management/validate_failures.py
+++ b/contrib/testsuite-management/validate_failures.py
@@ -241,7 +241,7 @@ def GetNegativeResult(line):
 
 def ParseManifestWorker(result_set, manifest_path):
   """Read manifest_path, adding the contents to result_set."""
-  if options.verbosity >= 1:
+  if _OPTIONS.verbosity >= 1:
     print 'Parsing manifest file %s.' % manifest_path
   manifest_file = open(manifest_path)
   for line in manifest_file: