Remove `html_use_smartypants` setting because RTD now uses Sphinx 1.6.5

Steve Piercy

2018-01-29 95664e8e765f9cacc775dde52634b8e23b2c00ef

Remove `html_use_smartypants` setting because RTD now uses Sphinx 1.6.5

(cherry picked from commit f1a5e2f)

 docs/conf.py

@@ -173,10 +173,6 @@
# using the given strftime format.
html_last_updated_fmt = '%b %d, %Y'

# If true, SmartyPants will be used to convert quotes and dashes to
# typographically correct entities.
html_use_smartypants = False # people use cutnpaste in some places

# Output file base name for HTML help builder.
htmlhelp_basename = 'pyramid'