Fixed usage message.

Timeout is set in milliseconds and not in seconds.
Converted README to README.md

Added proper markdown annotations.
Renamed buildjar.xml to build.xml

... to simplify building with ant.
Merge pull request #1 from jhoenicke/test

Renamed buildjar.xml to build.xml
Merge branch 'array'

Merged array support into main branch.
Please delete the array branch on your local repository.
Clean up CC-Lemmmas, especially ArrayLemmas

Lots of duplicated code removed.  WeakSubPaths are SubPaths.
The subpaths are now explicitly collected in an array of all paths.
The subpaths are ordered correctly.
The subpath annotation no longer remembers the literals (they are in
the clause anyway).
Cache produced smt terms.

This is necessary for proof production.
FIXME: I would rather like to have this in an extra hash table that is
given as parameter to toSMTTerm.  This way we would save a pointer for each
CCAppTerm.