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

Update omnidoc setup