.gitignore: avoids including huge db in commits