Use interplay plugin for playdoc and omnidoc settings
Make play version configurable
Merge pull request #223 from pvlugter/interplay

Update omnidoc setup