Whitespace cleanup

[martinthomson]

Tabs to spaces, removing trailing spaces. No change in content. Expect later proposals to depend on this one.