A library for animating HTML <progress> elements!