ROS CI: proxsuite has no main anymore

Author: nim65s

dependencies.rosinstall

@@ -4,7 +4,7 @@
     local-name: qpmad
 - git:
     uri: https://github.com/Simple-Robotics/proxsuite.git
-    version: main
+    version: devel
     local-name: proxsuite
 - git:
     uri: https://github.com/ori-drs/osqp.git # fork for packaging