Update default symbol table as last edit to `v2` about biscuit

[Geal]

we will also update the symbol table to remove the now unused authority and ambient, to replace them with the more common read and write

[divarvel]

i suggest replacing revocation_id with role as well.

Revocation ids are typically handled outside datalog, and have little value being embedded in the token anyway.

[KannarFr]

I suggest adding owner, tenant, namespace, WDYT?

[Geal]

user, team, service?

[divarvel]

Admin, email, group, member
ip_address, domain, path, version

[Geal]

I added samples with more symbols in #96 69b2981

next commit in that PR will be about reserving some indexes to grow the default symbol table in the future. Symbols added by a block will start at the 1024 index

[Geal]

48d96aa this commit implements the offsets.
I added query to the default symbols, since it is used by checks as default head name

[divarvel]

That's a good addition in general.

is it actually carried by the token itself? The haskell implementation (and the protobuf AST for that matter) don't require heads for checks / policies queries