removing 404

http://coq-blog.clarus.me/beginning-of-verification-for-the-parsing-of-smart-contracts.html is 404