include pinocchio before boost

ref https://github.com/stack-of-tasks/pinocchio/issues/849
20 jobs for master in 31 minutes and 30 seconds (queued for 3 seconds)
Scheduled