javascript: make FFI work with HOFs
javascript: fix semicolons
javascript: handle tailcalls for FFI
javascript: assign HOFs properly
javascript: handle arrays correctly in FFI
javascript: address fields directly via ['fieldname']
Fix Data.Bits: properly convert to machine-buitin types everywhere.
Fix Codegen: Shr is now called LShr, emit that.
Merge branch 'master' of git://github.com/edwinb/Idris-dev
Merge pull request #322 from raichoo/javascript

javascript: make FFI work with HOFs
Merge pull request #324 from andreas23/master

Fix for Data.Bits
define and use iputGoal instead of putStrLn
abstract set-prompt into isetPrompt -- and use it
remove duplicate 'intro' and 'intros'
layout improvement
handle Prove in toplevel of ideslave, to reset prompt after it returned
support ideslave mode with prover
more work on the prove mode... now sending messages when it started and finished
send start/end proof mode messages from within prover
report proof state if it is modified by a tactic application