Add --output-file option to getdimensions.py