Ok, looks like the global / local settings are working now.  Yay! #27
Some minor tweaks to the WhileyPathConfigurationControl.  Specfically, added some separators and changed the text of a group label.
Merge branch 'master' of github.com:DavePearce/wyclipse