Merge pull request #121 from Cazra/master

Eva SyntaxFormattedString class
Merge pull request #122 from Cazra/master

More improvements/bug fixes in SyntaxFormatter
Merge pull request #123 from Cazra/master

Improved the _bomb() operator in boot.eli
Merge pull request #124 from Cazra/master

Memoization is slightly faster, uses an LFU cache replacement policy.
Merge pull request #125 from Cazra/master

Memo.scala bug fixes/testing code improvements
Merge pull request #126 from Cazra/master

crashinc option
1. In Apply.scala and RuleLibrary.scala, use a 10 second timeout for operations that
   really need to complete rather than temporarily disabling timeouts.
2. In BasicAtom.scala and RuleLibrary.scala, added a cleanRulesets field that tracks
   the rulesets for which an atom is "clean". When rewriting, if the rulesets with
   which to rewrite is a subset of the rulesets with which the atom has already been
   rewritten, don't rewrite the atom.
Merge pull request #127 from kirkdsayre/kirk/master

1. In Apply.scala and RuleLibrary.scala, use a 10 second timeout for ope...
FileResolver always includes . in its search path so that relative paths always work for Processor.read.