finally (belatedly) added gitignore