Added CLI option "--platform".

Added implicit support for substantially slimming local MathJax installations.
While we still have a fair way to go (largely thanks to extreme cruft in post-
2.2 MathJax), we're approaching a reasonably sized installation.