Remove the Orocos/Roby plugin leftovers

The plugin itself has been removed a few months ago.