[PATCH] Device metrics here back again

Last time I submitted this patch, Ben objected that device metrics should be implemented using device properties. After some discussion then, it became clear that metrics and properties are different namespaces, so it is better to have them separately. So I am resubmitting the patch exactly as it was before. ChangeLog entry for src/ 1998-04-18 Kirill M. Katsnelson <kkm(a)kis.ru&gt; * device.c (Fdevice_system_metrics): Added function. Moved (device-pixel-height), (device-pixel-width), (device-mm-width), (device-mm-height), (device-bitplanes), (device-color-cells) to device.el, amd make them call (device-system-metrics). * console.h (struct console_methods): Replaced methods: device_pixel_width_method(), device_pixel_height_method(), device_mm_width_method(), device_mm_height_method(), device_bitplanes_method(), device_color_cells_method() with single device_system_metrics_method(). (device_metrics): Declared enumeration of supported device system metrics. * device-msw.c (mswindows_device_system_metrics): Implement device_system_metrics_method(), remove six obsolete methods. * device-tty.c (tty_device_system_metrics): Ditto. * device-x.c (x_device_system_metrics): Ditto. ChangeLog entry for lisp/ 1998-04-18 Kirill M. Katsnelson <kkm(a)kis.ru&gt; * device.el (device-pixel-height): (device-pixel-width): (device-mm-width): (device-mm-height): (device-bitplanes): (device-color-cells): Moved these 6 functions from device.c; they all use single (device-system-metrics) call.