Added tooling documentation

The new files in `docs/` explain:
1. How to get one's editor to play nice with HLS
   and the Gargantext project
2. To interact with the server/database from within GHCI

A reference to them has been added to the `README`.
4 jobs for 371-tooling-doc in 34 minutes and 54 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #14016
cabal

00:14:17

 
  Stack
passed #14017
stack

00:03:42

 
  Bench
manual #14018
allowed to fail manual
bench
 
  Test
passed #14019
test

00:16:55