Contributors manual

Create a page in the documentation dedicated to contributors.
Describe:

1. How to open a ticket and what to include in the description (give examples)
2. Setting up (cloning & running tests)
3. Formatter, Linter, Type-checker
4. Opening a pull request