Added web analysis interfaces
Improved dataflows
Added Z3 constraint solver
Added PHP & JS AST Viewers
Changed z3 to z3_plugin
Updated reference detection