More TODO ideas.

Add some more debugging.

Implement -d (debug) option.

Change -V to -v for compat with make.

stdlib: Add some rules for OCaml code.

Implement stdlib directory, -I, --no-prelude, etc.

Define OCaml Config module in ./configure, ./run script, --version option.

Implement tactics.

Remove Ast.PVar.

Pure variables as patterns are disallowed.  Patterns have a distinct
type from expressions so allowing an expression to be substituted
causes complications.  In particular we want to know statically how
many targets a goal has, which is not possible if a variable can be
substituted here.

You can still write:

  "%name": ...

Run code with set -e / set -x.

Actually run goal code.

Add implicit tactic rebuild.

We don't need to look for a goal covering every tactic, if the tactic
doesn't need rebuilding.

Substitute %<, %@ etc variables into code.

Add Ast.to_shell_script.

Previously we were confusing Ast.substitute with the place where we
need to shell quote.

Hard code *file tactic.

Implement tactic matching.

todo: Note default parameters.

Factor out param_decl and improvements to AST printing.

Refactor evaluation.

Also more work on pattern matching and when to rebuild.

Fix file() -> *file() in comment about tactics.

Updates commit b14ff66c953e6a73e9ac2fe8d42dd68e92e58f53.

Rename Ast.StringMap -> Ast.Env

Begin converting Ast print functions so they can be used with format %a.

Send debug message to stderr.

Print errors (Failure exceptions) nicely.

Define *file() syntax for tactic constructors.

Alternative syntaxes considered where ~file and &file.

Attach parser location information to AST nodes.

Basic evaluation.

Implement -C / --directory option.

Add environment to store variables and goals.

Command line parsing of anon args.

Expose parsing of expressions from command line.

Continue command line parsing.

Rename parsing/ to src/

And some refactoring of the main code and command line parsing.

Initial commit of parser.