Docs and usage messages for RFC4507bis support.
diff --git a/apps/s_server.c b/apps/s_server.c
index ac36039..279cc55 100644
--- a/apps/s_server.c
+++ b/apps/s_server.c
@@ -474,6 +474,8 @@
 	BIO_printf(bio_err,"                 (default is %s)\n",TEST_CERT2);
 	BIO_printf(bio_err," -key2 arg     - Private Key file to use for servername, in cert file if\n");
 	BIO_printf(bio_err,"                 not specified (default is %s)\n",TEST_CERT2);
+	BIO_printf(bio_err," -tlsextdebug  - hex dump of all TLS extensions received\n");
+	BIO_printf(bio_err," -no_ticket    - disable use of RFC4507bis session tickets\n");
 #endif
 	}