Adding .gitignore
Finished Basics.v
Finished Lists.v