OP2/PyOP2 — pull request #202 by wence- (2013-08-09 11:03:56+00:00)
Title: Update authors

The AUTHORS file had become out of date, so fix it. At the same time add a .mailmap file to canonicalize commit authors in `git shortlog`