* make inox submodule tracking main branch

* fix deprecated syntax in StainlessPlugin.scala

* wrong return type for def globalSettings in StainlessPlugin.scala

* add note about submodules in the readme