Fix documentation error

The documentation was pointing users to clone the repository using SSH,
given that not everyone has SSH access to this repository, this would
fail for any user (who is not a developer) trying to run those commands.

Fixes #234