Add a test to compare the result of revision_add() with known results

Use a 'synthetic' file to describe the expected behavior of the insertion of revisions in the provenance index.

Add tests for both the (noroot, lower) and (noroot, upper) cases.

---

Migrated from D5337 (view on Phabricator)