New location of Sophia documentation

To keep the docs and the compiler in sync we decided to move the documentation from the protocol repository to the aesophia:

  • The documentation of the language is now here
  • The standard library documentation has been moved here. The builtin functions docs can now be found in this file (they were previously described in the