Generate favicons for various popular devices

This is not strictly necessary, but the Makefile was already written for
another project, so why not.