adding Lists.v
Merge pull request #3 from sftypes/winitzki

adding Lists.v