BlockClaim readme location updated

The canonical BlockClaim readme is now located here: /books/verification_trilogy/blockclaim/readme.html

This page remains available to preserve continuity for older links and references.