Release of version 3.1.8.

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