Updated license to cover 2013, and reformatted all source headers.