DISTS: move .gitignore and add autogenerated header