Release LAVA 2.0

[AndrewFasano]

Our private development repository has gotten fairly far ahead of this one. We need to merge a few features and do some testing but we plan to soon have a stable release

Major updates include:

• Project-specific configuration files
• Collection of sample projects and configurations
• Improved performance
• New type of bug trigger that depends on multiple DUAs
• Better error handling (Replaced many silent failures with fatal errors where things go wrong)
• Include PANDA as a git submodule
• New clang-tools to identify functions where we can inject "dataflow" and to initialize all variables
• • Increased stability with "dataflow" may fix #6 and #7
• Build system changed to CMAKE
• More documentation

Issues blocking the release will be tracked under milestone lava2

[AndrewFasano]

Version 2 is now released!