Use protocol-less URL for mithril.min.js.

Otherwise, it won't load in Chrome if visited via HTTPS.