add package file lists
move Ktheory *.v files into top of package