Improvements to :search, primarily in handling typeclasses
Ignore default class methods in :search
fix spelling of "parenthesise"

Signed-off-by: Ricky Elrod <ricky@elrod.me>
Merge pull request #1326 from CodeBlock/spellingfix

fix spelling of "parenthesise"
Merge pull request #1324 from bmsherman/improvedSearch

Improvements to :search, primarily in handling typeclasses
Support builds that doesn't use cabal for libs and rts
data-lens is not a dep of idris

lens is, but that isn't available in the binary repos of the old version
of Ubuntu Travis-CI runs.
Parsing for quasiquotes
Elaborate quasiquotes
Elaborate qquotes in fresh proof state
javascript: experimental backend compiles hello world
javascript: WIP
javascript: fix caseconst
javascript: handling bigints
javascript: pass more tests
javascript: unlock primitives
javascript: WIP
javascript: avoid name capture
javascript: split apply function
javascript: split eval function