contrib/tanglu: Update the buildd setup instructions to include the /dev/ptmx fix.
contrig/tanglu: Wait a week before automatically restarting a build job with missing binaries, they might be stuck in the NEW queue