Bot to add ISBN 13 to items with only ISBN 10

There's large numbers of edition records that have an ISBN 10 entry but no corresponding ISBN 13 entry, even though it's possible to generate the longer one from the shorter.

This seems a good opportunity for a simple bot, though the potentially large number of items to be updated may mean that some other mechanism might be better suited.

I'll create a PR with a bot anyway.