play.js, application.js: finish adding play functionality