Android ImageView that handles animated GIF images