Refresh test suite

[divarvel]

The goal of this PR is to make full use of the samples by generating tests thanks to the samples.json file

• [x] update the samples
• [x] parse the JSON file
• [x] generate one test per JSON file entry
• [x] check that the biscuit sample is consistent with its provided datalog source code
• [x] check that each authorization result can be reproduced
  • [x] authorization success / error <- this is only a partial match for now
  • [x] final state of the world

Please note:

• Some tests are skipped as they exercise a part of the spec that has not been implemented yet (v4 blocks)
• This PR aims at avoiding API changes as much as possible, but some changes are necessary for the test suite:
  • parsing whole blocks
  • parsing whole authorizers
  • dumping code for a token
  • sorting facts and rules when dumping the contents of the authorizer world
• matching the samples errors with the actual go errors is only possible in an incomplete way: samples errors are structured and gather all checks and policies results, while the go errors are unstructured and only report the first error
• The sample named test017_expressions.bc is currently skipped even though it should pass. The go parser does not support yet the full range of expressions in v3 blocks. It will be handled in a separate PR

[divarvel]

Just a high-level read-through as I'm trying to catch up 😄

Thanks! I'll be able to unskip the world comparisons on scoped facts in a follow-up PR now that we have https://github.com/biscuit-auth/biscuit-rust/pull/156

[divarvel]

alright, the test suite now uses all the information from the JSON file.

The samples containing v4 blocks are still skipped, as well as the 017 sample, which uncovered some bug / missing parts in the current implementation. They are handled in #121