Map API: Sky properties are now available via this API

Various properties of the map's sky can now be manipulated using the
map API (DMU):

- DMU_COLOR (Ambient color)
- DMU_HEIGHT (height of the sky)
- DMU_OFFSET_Y (horizon offset)

The DD_HEIGHT and DD_HORIZON global value identifiers were removed
(now obsolete).