Add the new symbols for InputDevice and DeviceManager
The ClutterDeviceManager is a singleton object that behaves like the StageManager: it holds all input devices and notifies on addition and removal.