Bug 4305: Add test case for ISBN-13 to ISBN-10 conversion