When logging Swank messages, tuncate long strings

* Now that we may pass entire buffer contents in Swank messages,
we don't want the log to become huge.
Typecheck Java files when idle
Replaced nullable strings with Some[String]
Updated documentation
Merge pull request #16 from edani/continuous-typecheck

Typecheck buffers when emacs is idle