fix bad require after 2htdp tests move
move more htdp tests to htdp-test package

(also, update the props file this time)