Chain higher order Fun types
Stop getArgs from crashing executor
Rely on generated runMain to test if a main method is present instead of hardcoded Main.main
Split out Windows versions of some rts files

This allows the introduction of Posix functionality, parallel Windows
implementations can then be put in the windows/ directory.
Conversion checking tweak

Slightly more liberal if there are holes in the terms being checked, so
that we don't fail too early.
Merge branch 'master' of github.com:idris-lang/Idris-dev
Fix for matchProblems

Needed to take into account that later matches could affect earlier
problems.
Store metavariables in ibc files

There's really no reason not to, and it means you can import something
unfinished without having to wait for it to typecheck every time.
No need to export primitives as metavariables

...they just clutter the display.
Add rndFin

Handy to have the upper bound encoded in the type sometimes.
Add 'time' function
Add beginnings of System effect
Merge pull request #936 from david-christiansen/executor-arg-count

Stop getArgs from crashing executor
Merge pull request #937 from david-christiansen/postulate-providers

Postulate providers
Merge pull request #938 from JanBessai/JavaUseRunMain

Java back-end: Look for generated runMain
Merge pull request #939 from melted/build_win

Split out Windows versions of some rts files
javascript: omit bounded001 test
Add a special name for instance constructors.
Bump IBC version.
Propagate parameters to records

Also a minor change in propagating parameters to data, for consistency.
Parameters become *implicit* arguments to constuctors (they are already
in the type after all).