revised readme
implemented dup2_x2 in CollapseStackManipulations and added some (not enough) test cases for it