ISBN convert function for 13-digit ISBNs to 10

This will be useful for linking directly to Amazon on book pages.