Related to #221 and #222. Also adds `*.ini` to the `.gitignore` file in ast-db-manage for convenience.