Use git to share database dumps

[kantord]

When working in teams on a large repository, it could be useful to share database dumps automatically so that not all clients have to re-analize all files in the repository.

This could be done in 2 ways:

• An approach similar to the gh_pages branch approach
• Using a separate repo just for sharing this data. This could be more complicated to set up, but for very large repos it could avoid inflating the .git folder