Bump the fontsize on Mac OS X and Linux

14 point font is far more readable these days
Add Puppet mode to list of required packages
Disable dirtree temporarily

Can't remember what it does or if I use it!