include pinocchio before boost

ref https://github.com/stack-of-tasks/pinocchio/issues/849
10 jobs for master in 6 minutes and 43 seconds (queued for 1 second)
latest