Remove animate.js

Description

$git grep gl.animate
app/assets/javascripts/labels_select.js:101:                  return gl.animate.animate($(_this), 'pulse');
app/assets/javascripts/lib/utils/animate.js:6:    if (gl.animate == null) {
app/assets/javascripts/lib/utils/animate.js:7:      gl.animate = {};
app/assets/javascripts/lib/utils/animate.js:9:    gl.animate.animate = function($el, animation, options, done) {
app/assets/javascripts/lib/utils/animate.js:23:    gl.animate.animateEach = function($els, animation, time, options, done) {
app/assets/javascripts/lib/utils/animate.js:34:            return gl.animate.animate($this, animation, options, function() {

app/assets/javascripts/lib/utils/animate.js is only used by one file (labels_select.js).

Proposal

I propose that animate.js (1.41kb) be refactored and removed.