Release of version 3.1.8.
In this new version, the repository has less dependency to some headers provided by pinocchio.
