Fixed some bugs and added some initial split code.
Merge branch 'master' of github.com:erikku/smt4tool
Minor tweak to the walkthrogh.
Merge remote-tracking branch 'origin/master' into gh-pages