[Concepts] Implement a portion of Concepts TS[dcl.spec.concept]p5 and p6:

Diagnose if the return type of a function concept or declaration type of a
variable concept is not bool.

Reviewers: hubert.reinterpretcast

Differential Revision: http://reviews.llvm.org/D16163

llvm-svn: 259159