Funding

We gratefully acknowledge funding from the following sources:

We are also grateful to Google and Bitbucket for providing us academic licenses for free web and repository hosting respectively.