Changed cover images to use 13-digit ISBN. refs #659

- Changed algorithm for extracting document identifier. Now it
  always goes for the longest ISBN (ie. the 13-digit one) when
  checking for ISBNs.
- Updated related helper and test.