Graphene is now Gramine

In 2021, Graphene was renamed to Gramine. The documentation was moved accordingly to https://gramine.readthedocs.io/.