Quarry

this repo has moved and is now readonly. Repo can now be found at https://github.com/toolforge/quarry