Add --missing-crl to verify commands.

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@16615 ec53bebd-3082-4978-b11e-865c3cabbd6b

lib/hx509/hxtool-commands.in

@@ -85,6 +85,11 @@ command = {
 		argument = "password"
 		help = "password, prompter, or environment"
 	}
+	option = {
+		long = "missing-crl"
+		type = "flag"
+		help = "missing crl is ok"
+	}
 	option = {
 		long = "content-info"
 		type = "flag"
@@ -153,6 +158,11 @@ command = {
 		argument = "password"
 		help = "password, prompter, or environment"
 	}
+	option = {
+		long = "missing-crl"
+		type = "flag"
+		help = "missing crl is ok"
+	}
 	option = {
 		long = "verbose"
 		short = "v"