Reformat sources with astyle

These sources are quite old and the format was not necessarily
consistent throughout time. Sources are now reformatted using an
automatic formatter, with the given rc file. Later, we can probably
re-use it sometimes.