PNG instead of GIF

Better use PNG instead of GIF as standard graphics format.
GIF is deprecated and has several drawbacks:
* only 256 colours
* no alpha-transparency
* less compression than PNG