include pinocchio before boost

ref https://github.com/stack-of-tasks/pinocchio/issues/849
8 jobs for master in 2 minutes and 28 seconds (queued for 1 second)