Allowed gzipped html files to be servered by dxr/app.py. Increase the size of the csv file buffer.