Added VGA 256-color mode 0x13 using the DisplayDib VGA emulation.
(DOS apps/games using this mode comes up now, although you can't
really do anything with them (yet?).)