1. Finished ControlDependenceGraph
2. Restructured the client libraries
3. Finished a skeleton of TaintAnalysis

Since a complete taint analysis is too complex, we plan to start with
top-level variable only, then add control dep, then add memory objects
and data dep