Remove C warnings when compiling with a proper compiler
Merge branch 'feature/cwarnings-removal' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/cwarnings-removal

Conflicts:
	rts/idris_opts.c