Eclipse code formatting

Put eclipse settings in the project for the code formatter. Also turn on the option to foramt a file when it is saved.

NB: Downsides: For this to work, everyone has to configure their eclipse locally to enable "project specific settings". Another that it pollutes the code base with eclipse gibberish. I think these are both worth it so that simple diffs don't get confused by formatting changes.

Or to paraphrase, you can't fight eclipse. Give in. Give up. Merge this, you'll love it. It's a way of life.

Also, happy for this to be rejected and find some other way to achieve the same goal.