A few minor changes, adding a .gitignore