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.
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.
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
Merge pull request #1119 from KesterTong/fix/master/random

Fix/master/random
Merge pull request #1125 from david-christiansen/lidr

:makewith works with .lidr now
Merge pull request #1130 from jonsterling/fix/reify-intro-induction

Fixes a problem with custom tactics using Intro & Induction
Rule out more cases in 'recoverable'

Fixes #1136
Merge branch 'master' of github.com:idris-lang/Idris-dev