Show detailed diagnostic messages for callables with an unsupported required capability

[bamarsha]

Adds secondary diagnostics for unsupported capabilities that give the reasons why a callable from a library isn't supported. For example:

namespace Library {
    function MyResultAsBool(result : Result) : Bool {
        return result == One ? true | false;
    }
}

namespace App {
    open Library;

    operation Foo() : Bool {
        return MyResultAsBool(Zero);
    }
}

gives the diagnostics when compiled for Honeywell:

Error QS5027:
File: C:\Users\samarsha\Desktop\QSharpSandbox\App\App.qs
Position: [ln 5, cn 16]
The callable MyResultAsBool requires the FullComputation runtime capability, which is not supported by the target HoneywellProcessor.

Warning QS5024:
File: C:\Users\samarsha\Desktop\QSharpSandbox\App\App.qs
Position: [ln 5, cn 16]
MyResultAsBool: Measurement results cannot be compared here. The target HoneywellProcessor only supports comparing measurement results as part of the condition of an if- or elif-statement in an operation. [C:\Users\samarsha\Desktop\QSharpSandbox\Library\Library.qs:3:16]

Resolves #736.

[bamarsha]

@bettinaheim Could you take another look at your remaining open comments?