Add dashify.py to quickly replace dashes with &mdash; or &ndash;