make.py: support setting flash proxy directory
Simplify use of external targets/platforms/cores + add default platform in targets