Skip animations on the frontend

[sleepdeprecation]

The latest commit moved the checkbox from inside the slider itself to overlaying on top of the speed slider button.

This is what it looks like:

[sleepdeprecation]

Things that could still be done (and may or may not be in the scope of this pull request):

• [ ] Change all of the tooltip stuff we currently have to use the same system.

  We currently have a couple custom tooltips (for our two sliders), and a couple instances of tooltips using Tooltipster.I think it would be best if we merged them together, and either used custom tool tips everywhere, or some other solution everywhere. I'm not sure that Tooltipster is the right thing to use.

  This is on my mind because the speed slider's tooltip is kinda ugly.

• [ ] Change the speed slider's tooltip when it's at 100% to say something like "Animations Off", instead of "0.005"