Fixing up the local settings flag in the .whileypath file for #27
Still fiddling around making the global enable flags work and get read / written to the .whileypath file for #27