Improvements to developer guide

This PR brings improvements to the developer guide:

- Remove references to Docker (we do not use it anymore)
- Provide Postgres/PostGIS commands for creating a Postgres role and a PostGIS database
- Indicate how to run the tests