JERRY: A System for the Automatic Generation and Execution of Plans for Robotic Devices: The Case Study of the SPIDER Arm