1133 - more reorg of commandline parsing

1. Drop the ability to run just some C++ tests. It's a lousy interface
to use line numbers, we can't selectively run mu tests, we haven't used
it in a while because our tests run plenty fast, and it's complicating
other parts, like Next_recipe_number and test space handling.

2. Create a new layer right up top to show the usage message and all the
different forms that are possible. Good for documentation until we come
up with a way to put the different forms in their own layers. At least
it's out of the test layer now.

3. Strengthen the assertion that no recipes exist in test space before
we start running any sorts of tests. Earlier it was possible for
files loaded explicitly to overflow into test space because we were
asserting before load, not after. Now we check if we need to run tests,
load all files, then make the assertion, run tests, and exit if
necessary.

Now we don't need to mess with commandline args at all in layer 50.
That's a sign that we're on the right track.

1 files changed, 32 insertions, 0 deletions

diff --git a/cpp/001help b/cpp/001help
new file mode 100644
index 00000000..c3ce7874
--- /dev/null
+++ b/cpp/001help
@@ -0,0 +1,32 @@
+:(before "End Commandline Parsing")
+if (argc <= 1 || is_equal(argv[1], "--help")) {
+  // this is the functionality later layers will provide
+  // currently no automated tests for commandline arg parsing
+  cerr << "To load files and run 'main':\n"
+       << "  mu file1.mu file2.mu ...\n"
+       << "To run all tests:\n"
+       << "  mu test\n"
+       << "To load files and then run all tests:\n"
+       << "  mu test file1.mu file2.mu ...\n"
+       ;
+  return 0;
+}
+
+:(code)
+bool is_equal(char* s, const char* lit) {
+  return strncmp(s, lit, strlen(lit)) == 0;
+}
+
+:(before "End Includes")
+#include<iostream>
+using std::istream;
+using std::ostream;
+using std::iostream;
+using std::cin;
+using std::cout;
+using std::cerr;
+
+#include<cstring>
+#include<string>
+using std::string;
+#define NOT_FOUND string::npos  // macro doesn't complain about redef