Polish spriting code

* Smaller make-sprite.json.
* Convert operation sprite data to JSON, eliminating
  fragile stylesheet grepping.