tools/ew.py: Add -bigmem option for RAM-hungry configurations.