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.

(A friend of mine encountered this issue.)