Convert the one BMP to GIF.

The latter is a standard web format and also smaller.
Merge branch 'master' of https://github.com/jsonn/gridx into jsonn-master

Conflicts:
	resources/claro/basic.css
Merge branch 'jsonn-master'