SRdeformations 0.53: use Polyhedra instead of OldPolyhedra

[mahrud]

This PR makes minimal changes to SRdeformations to make it compatible with Polyhedra instead of OldPolyhedra. There aren't any tests, but I checked and the examples in the documentation basically haven't changed (in a couple of places some answers were permuted, but I believe it's the same).

@jankoboehm does this look okay to you?

Note that the package still overrides a few symbols from Polyhedra and at least a few from other packages, so further improvements can be made, but for the purposes of deprecating OldPolyhedra this seems to suffice.

Here are the changes in the documentation which I believe are permutations of the correct answer:

In the documentation of Complex:

i8 : complement C

 o8 = 2: x x x  x x x  x x x  x x x  x x x  x x x  x x x  x x x
-         3 4 5  1 4 5  2 1 5  2 3 4  3 0 4  1 0 4  2 3 1  2 1 0
+         4 5 3  1 4 5  1 5 2  4 2 3  0 4 3  1 0 4  1 2 3  1 0 2

In the documentation of hull

i6 : dC.grading

-o6 = | 0 1 -1 -1 0  |
+o6 = | 0 1 -1 1  0  |
      | 0 1 1  -1 0  |
-     | 0 1 -1 1  0  |
+     | 0 1 -1 -1 0  |
+     | 0 1 -1 -1 2  |
+     | 1 0 0  0  1  |
      | 1 0 0  0  -1 |
      | 1 0 2  0  -1 |
      | 1 0 0  2  -1 |
-     | 1 0 0  0  1  |
-     | 0 1 -1 -1 2  |

[jankoboehm]

Looks good to me. Thx a lot!