Rename image files to have TeX-safe filenames.

Change-Id: I375167a04b74ee5956cbe5a6c5af49a2bff6717a
Convert gifs to pngs.

Change-Id: Ia25fa8d9cdb99a15d8a17ae1e064fe48bf2f0307