removing duplicate files in l3 directory, moving a few into machine-code/hoare-triple