an improved crawler-mathstackexchange.py to correctly handle continuous dollar signs.