Add border to ani-gifs
 - Add rounded corners to reshow-ani-gif button
Merge pull request #701 from code-dot-org/ani_gif_border

 Add border to ani-gifs