Housekeeping: add a .gitignore