Initial fork from the googlecode svn repo.
s/Nat/Int
- Updated kompile options in makefiles.
- Copied over jars from v2.7 as a temporary measure.
- Various easy syntactic changes (endmodule, is, require, etc).
Stripped klabel and semantic tags.
- Declare/define to syntax/rule, usually with [function].
- Removed metadata tags.
- Fixed formatting on latex tags.
- List{K} => KList
- Added missing requires.
- KResult to K in a few places ("only allowed in the left hand side of
  syntax").
- Moved requires and imports to the top.
- Various other things.
- Commented some stuff temporarily.
- Started converting "context" syntax.
Mucking with asciiStrings and Chars, commas in attributes, and some other
stuff.
Updated the style for precedence and addded following restrictions.
Still doesn't quite parse, but closer...
It now kompiles... modulo a few elisions.

- Removed dynamic-c-configuration.k, renamed common-c-configuration.k to
  c-configuration.k.
- Various other little things.
Removed dynamic-c-configuration.k from build.
- Execution starts to work now.
- Some formatting changes.
- Lots of other various things.
Mucking with sorts.
Some hacked together scripts for running with krun.
The context rules seem to mostly work now.
Fixing bugs.
Execution with krun now works for simple program.
Mostly changes to the build system and scripts to support krun.
Removing some deprecated scripts and such.
Restored most of the error checking.