Update Elm Platform to 0.13

The recommended uninstall method is to run an [external script](https://github.com/elm-lang/elm-platform/blob/master/src/mac/helper-scripts/uninstall.sh), which to my knowledge is not included in the distribution.