Add code formatting and ErrorProne

[wmdietl]

I tried enabling ErrorProne but it didn't get executed.

I also tried the Spotless Maven plugin but it similarly doesn't get executed.

It would be nice to have some code quality tools integrated with CI.