Moved Prop.v

So it turns out having a module named Prop doesn't work.  At all.
Updated .gitignore

For some reason files are compiling differently right now.  Oh well.