[play.rb] play 2.1.2 release

* Update to latest play release, 2.1.2.
* Remove obsolete devel.