ArmHandØ: a mobile manipulator for the blocks world