Added probability computing
Merge remote-tracking branch 'origin/skyler' into zack
Driver update

- removed demo code for FilteredDocument
- improved demo code for SpamChecker to notify user of completion of
creation and export
Line spacing and other style changes

Because I have OCD
Merge branch 'master' into skyler