[misc] Optimized PNG images (reduced size)
[misc] Optimized GIF images (reduced size)
Merge pull request #648

Excluded */empty.gif, which seem to be broken

Conflicts:
	war/src/main/webapp/images/title.png