Add %instance for explicit access to resolveTC tactic
JavaScript stuff.
Merge commit '06fffa315afc0d883f36a6ce971df1123aa6d8e3' into javascript

Conflicts:
	src/IRTS/Compiler.hs
	src/Idris/AbsSyntaxTree.hs
	src/Main.hs
Compile on GHC 7.0
Transitivity of equality
Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on them
Absolutely untested implementations of a few bitstring primitives.
flooring log2 for Nats
Primitives for interconversion of Bits32 and Int
Verified numbers
Beginnings of generic machine integer support
Resolve implicit definition warnings relating to bitstrings
String primitives
Basic bit-twiddling primitives
Cast Int (Bits n) instance
Strongly-typed bits
Access qualifiers for Modulo
Show instance for Modulo
Correct behavior of operations on non-native bit widths
Replace general modulo type with modulo 2^n type