include pinocchio before boost

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