move swig extensions in docs-main plugin to own folder called swig-ext