adding Lists.v

My solutions for the Lists.v chapter