Maintenance: Update ruby version in developer manual.

doc/developer_manual/development_environment/how-to-set-up-a-development-environment.md

@@ -34,8 +34,8 @@ For Linux and macOS:
 
 ```screen
 curl -sSL https://get.rvm.io | bash -s stable --rails
-rvm install ruby-3.0.4
-rvm --default use 3.0.4
+rvm install ruby-3.1.3
+rvm --default use 3.1.3
 ```
 
 ## NVM, Node.js and Yarn