feature: idf mirror

## Related Issues & PRs
none

## Description
I'm always frustrated when china idf mirror is down or extremely slow.

## Solution
This should be solvable by own mirror.

## Alternative solutions
- Do nothing and wait

## Context
Step 19/21 : RUN sudo -HE python tools/idf_tools.py --non-interactive install-python-env
 ---> 00e8d01c10d4

 ... tumble weed ...