adjust .gitignore to reflect merge with debian git repository