GitHub client cannot handle large patches

[goelhardik]

If a file has a huge diff in the PR, the GH api does not return the patch. In that case the app is currently ignoring that file from quantifier input. Need to handle this by fetching the huge patch by calling another api.