Checkbox for project specific settings

To enable/disable project specific settings I added a checkbox above the tabs. I have worked with JFace for some evenings now and it's fun to use.