Automatic source formatting with astyle.
* For the moment, run `make format' to reformat all source files.
* TODO: maybe integrate formatting into regular build process.
* NOTE: we should first reach a consensus on formatting options.
* see http://astyle.sourceforge.net/astyle.html