Change 'run' in neweffects to add defaults

In most cases, this is the easiest thing to do, creating a default
resource value for the resource type using the 'Effect.Default' type
class. Where it's not possible (or undesirable) there is a runInit
(correspondingly runPureInit) function which allows explicit resource
lists.
Merge branch 'master' of github.com:idris-lang/Idris-dev