Constant for the order of NaCl's standard group element

NaCl's standard group element has an order which seems incredibly hard
to calculate with standard tools (e.g. Mathematica) because they don't
support Edwards curves.

Fortunately we can find this value defined in the Python reference
implementation of Ed25519:

http://ed25519.cr.yp.to/python/ed25519.py