Smallish compatibility fixes and simplifications. Up next: renaming plugins to make the plugin naming more coherent.
The whole project has been a bit restructured. "Standard" strategy extraction and counter-strategy extraction are now on the same level (plug-in level).