This pull request do multiple things, such as removing unused strategies, and add new strategies, add a--symbols way to split the test cases.

Added strategies:

• minimize-around: This Strategy attempt at removing pairs of chuncks which might be surrounding interesting code, but which cannot be removed independently of the other. This happens frequently with patterns such as:

  a = 42;while (true) {  b = foo(a);      <-- !!!  interesting();  a = bar(b);      <-- !!!}

• minimize-balanced: This Strategy attempt at removing balanced chuncks which might be surrounding interesting code, but which cannot be removed independently of the other. This happens frequently with patterns such as:

  ...;if (cond) {        <-- !!!  ...;  interesting();  ...;}                  <-- !!!...;

  The value of the condition might not be interesting, but in order to reach the interesting code we still have to compute it, and keep extra code alive.

• replace-properties-by-globals: This Strategy attempt at removing members, such as other strategies can then move the lines out-side the functions. The goal is to rename variable at the same time, such as the program remains valid, while removing the dependency on the object on which the member is.

  function Foo() { this.list = [];}Foo.prototype.push = function(a) { this.list.push(a);}Foo.prototype.last = function() { return this.list.pop();}

  Which might transform the previous example to something like:

  function Foo() { list = [];}push = function(a) { list.push(a);}last = function() { return list.pop();}

• replace-arguments-by-globals: This Strategy attempt at replacing arguments by globals, for each named argument of a function we add a setter of the global of the same name before the function call. The goal is to remove functions by making empty arguments lists instead.

  function foo(a,b) { list = a + b;}foo(2, 3)

  becomes:

  function foo() { list = a + b;}a = 2;b = 3;foo()

These patches are also adding the--symbols command line to lithium.

This option let lithium treat the file as a sequence of strings separated by tokens. The characters by which the strings are delimited are defined by the--cutBefore, and--cutAfter command-line options which default to any of?=;{[, and]}:. The cut before options, is used to stop a string if the next character is one of the character defined, The cut after options, is used to stop a string if the last character is one of the character defined. Note, the closing square braces (]) should be listed first, and the opening square braces ([) should be listed last in both of these options.