include pinocchio before boost

ref https://github.com/stack-of-tasks/pinocchio/issues/849
10 jobs for v3.1.2 in 22 minutes and 12 seconds (queued for 20 minutes and 42 seconds)
latest