RSVP: Bump version number

Apparently the 'best' way to guarantee that JavaScript
is refreshed in the browser after a change is to rename
the file. Ok.