Change 'iota' syntax to allow spaces

For example, [ 1 ..] was allowed but not [ 1 .. ]. That is, "..]" was a
token, and now it's ".." followed by "]".
:compile now can take a codegen option (e.g. :compile javascript program.js)
whitespace
:compile now obeys --codegen flag
Allow comments in .ipkg files
Rule out more cases in 'recoverable'

Fixes #1136
Merge branch 'master' of github.com:idris-lang/Idris-dev
Parse _|_ as a name in :doc

Fixes #1128.
Merge pull request #1135 from david-christiansen/nicola-stuff

Comments in .ipkg files and :doc works for _|_
Merge branch 'repl'

Conflicts:
	CHANGELOG
	src/Idris/AbsSyntaxTree.hs
Merge pull request #1137 from reynir/iota-syntax

Change 'iota' syntax to allow spaces
Merge pull request #1133 from raichoo/repl

Make :compile obey --codegen flag
Merge remote-tracking branch 'upstream/master' into idrisdoc