Delete domita-es53-minified.js

domita-es53-minified.js is not used anywhere except in a size benchmark.

This change removes domita-es53-minified.js, and changes the size
benchmark to use es53-taming-frame.js instead.  (The size benchmark
probably needs more revision to track es53 size accurately, but this
change is a close approximation to what it's been doing already.)

'ant benchmark' runs, and doesn't have new failures.

[ihab.awad, 2011-06-07 20:07:48]

lgtm

[felix8a, 2011-06-07 20:50:09]

@r4496