add possibility to give a name for .so files generated by Ginac, now these files are generated only by proc 0
Merge branch 'develop' of https://github.com/feelpp/feelpp into develop