added a modified version of Iterator.java for use with daikon and added results for the mutation test on this class

made some small fixes and changed vector_r3 to be actually equivalent to vector. Also added haskell code to generate a shell script to run daikon

checked wishnu's mutations and applies manual preprocessing/desugaring where needed. Also fixed a bug where introduced variables in the wlp would result in an error (introduced variables may be part of the wlp when the code contains non-void functions that don't terminate within the set limit of iterations)