Updated the recorderInfra submodule
Added a couple of method over the ones in ProjectManager

To make the thing more expressive in IDEA, since a project is
actually a module.
Renamed export to exportAll