bootstrap/config.py: add missing dev packages