add lattice images
add tr1 to previous work, move ecma to refs
add cv to previous-work
add InfoFlow analysis on Java Bytecode to refs