Add a basic dist.ini, and fix the .gitignore