Set IDRIS_ENABLE_STATS in config.mk instead of in idris_stats.h. stats are not supported on Arduino. Also make sure that when IDRIS_ENABLE_STATS is not set, the idris_stats.h does not pull in time.h as this header is not available on the Arduino platform.
If EXIT_SUCCESS and EXIT_FAILURE are not defined (as is the case on Arduino), explicitly define them using standard values (EXIT_SUCCESS == 0, EXIT_FAILURE == 1). In the long term the RTS should be modified to not call exit directly at all since it does not make sense on embedded platforms. The calls to exit(EXIT_SUCCESS) and exit(EXIT_FAILURE). Should be replaced by macros that do something sensible on the platform.
Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.

Additionally, all the rts .c files are now included in the data-files section of the idris.cabal file. When using Idris to cross-compile, we need to recompile the RTS for the target platform. We do not know what platforms might be targeted in advance, so we need to have all the RTS source files available at compile time.
Merge remote-tracking branch 'upstream/master' into fix/master/arduino
Merge branch 'master' of https://github.com/idris-lang/Idris-dev into fix/master/arduino
First renaming attempt
Renaming of built-in datatypes works finally
Finished making standard library naming consistent
Fixed some tests broken under renaming
Added update about renaming to CHANGELOG
Fixed some accidentally wrong renamings.
Also, adapted some tests to the new names
Fixed broken provider test after providing `()` as `Unit` too
Fixed lack of renaming of `lift` to `Lift` in test
Add -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.
Renamed 'lteSucc' and 'lteZero' in tests to 'LTESucc' and 'LTEZero'
Really replaced `lteZero` with `LTEZero`
Parsing a REPL command may now result in a custom error message.
Refactor REPL command parser, improving error messages at the REPL
Simplify the definition of Vect.reverse
Uncomment Vect.mapMaybe

There was a comment on it indicating that it made the type checker
loop. This seems to no longer be the case.