INSTALL.rst: remove extraneous characters

3 jobs for master in 5 minutes and 11 seconds (queued for 3 seconds)