Delete realtime.js

This was neat, but obsolete now.  Perhaps some other time.