Fixes a problem with custom tactics using Intro & Induction

Intro would previously fail with "Unknown Tactic".
Makes rndFin take all values in Fin (S k)

Previously, rndFin k only took values in 0, 1, ... , k - 1, even
though the type Fin (S k) has elements 0, 1, ..., k.
Remove whitespace for :addproof - like :load does

This should probably happen for all commands which take a filename.
Fix addition and subtraction of Complex Float.
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 "]".
Adds docstrings
Adds rndSelect

Adds functions to select random elements from lists and vectors.
These functions also demonstrate the naturalness of the new definition
of rndFin.
Refactors rndFin' to only accept length > 0 vectors
Adds Google to contributors list
remove javascript lib in favor of idris-hacker/iQuery
:makewith works with .lidr now

Previously it inserted too many >, indented to the right.
Make all Verified* type class methods total

We generally want proofs to be total.
:compile now can take a codegen option (e.g. :compile javascript program.js)
whitespace
:compile now obeys --codegen flag
Added Haddock to a function
Added more Haddock
Merge pull request #1115 from puffnfresh/bug-fixes

Remove whitespace for :addproof - like :load does
Merge pull request #1116 from ziman/fix-cplx

Fix addition and subtraction of Complex Float
Merge pull request #1124 from raichoo/javascript

remove javascript lib in favor of idris-hacker/iQuery