InputDevice: Deprecate get_device_coords(), adding get_coords().