Merge pull request #6227 from polgreen/fix_readme

remove broken wiki link

Author: martin-cs

README.md

@@ -3,8 +3,6 @@
 [![Build Status][coverity_img]][coverity]
 [![Build Status][codecov_img]][codecov]
 
-[CProver Wiki](http://www.cprover.org/wiki)
-
 [CProver Documentation](http://cprover.diffblue.com)
 
 About