Formatting change; use tabs and Allman indentation with AStyle -- added format_source.sh script for this.