Auto-hide auto-shown instructions with ani-gifs after 10 seconds
Use boolean instead of options hash
Merge pull request #700 from code-dot-org/auto_hide_ani_gif_10s

Add auto-hide timeout for ani-gif instructions on first show [finishes #74000488]