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.