for review: add nested modules [3/5]

[Simon Taylor]

>@@ -1249,6 +1253,10 @@
> 	io__write_string("\t\tWrite the module interface to `<module>.int',\n"),
> 	io__write_string("\t\tand write the short interface to `<module>.int2'\n"),
> 	io__write_string("\t\tThis option should only be used by mmake.\n"),
>+	io__write_string("\t--make-priv-int, --make-private-interface\n"),
>+	io__write_string("\t\tWrite the private interface to `<module>.int0'.\n"),
>+	io__write_string("\t\tThis option should only be used by mmake.\n"),
>+	io__write_string("\t--make-opt-int, --make-optimization-interface\n"),

Some dodgy cut-and-pasting here - remove the last line.