Expand taint flow functionality and add external model method matcher

[aaronist]

• Detecting which flow models have been optimized
• Adding functionality for generalized taint flow models
• Creating external model method matcher

[JLLeitschuh]

To make the license task pass, run ./gradlew lF