In getting-started, use "mithril.min.js" in example snippets

When downloading mithril as suggested, the user ends up with mithril.min.js, not mithril.js, so let's use that in the example snippets to minimise confusion.