Tools for nightly builds and packaging.
Update gitignore.