Skip inexistent docs when building ShareLaTeX history GitOrigin-RevId: 5b7c5b77623d77c7d20f852050249211de0c8cb3
add streaming zip export of history (migrated from track-changes#117) GitOrigin-RevId: 45e6a66332541f463241f148892817725c0be39c