Revert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""

This reverts commit 05895a55bae2a61237abeeca99acc2454d0a1110.

This is to apply the fix.
Fix detection of FInt types in executor
Added natural number exponentials
Removed unreliable machine ints from Random effect
Repaired java and c backends to work with improved integer primitives
adapted expected output of test021 to honor modulo
Expand integer primitive unification to encompass bigints

Conflicts:
	rts/idris_rts.h
	src/IRTS/CodegenJava.hs
Fix primitive references in test025
Fixed and extended C backend integer operations
Merge branch 'unified-int-primitives-fix' of https://github.com/bitlisp/Idris-dev into bitlisp-unified-int-primitives-fix

Conflicts:
	lib/Data/Bits.idr