CI: add python3-dev to installed packages

2 jobs for master in 1 minute and 12 seconds (queued for 2 seconds)