Allow class names to be infix

Use case:

    class (:<:) (f : Type -> Type) (g : Type -> Type) where
      isSubFun : SubFunctor f g
javascript: allow more inlining
javascript: inline some missed cases
javascript: remove jsobject
javascript: better error representation
javascript: whitespace
javascript: optimize branches
javascript: remove redundant eval on ops
javascript: inline some missed cases
Update .gitignore for new tests structure
Added "with" expressions to CHANGELOG
javascript: remove duplicated code
javascript: refactor
Merge pull request #821 from david-christiansen/infix-class-names

Allow class names to be infix
Merge pull request #823 from raichoo/javascript

Javascript
Merge pull request #827 from david-christiansen/semantic-pprint

Pretty-printer updates
Merge pull request #828 from david-christiansen/gitignore

Update .gitignore for new tests structure
Merge pull request #830 from david-christiansen/changlog-with-better

Added "with" expressions to CHANGELOG
Change 'run' in neweffects to add defaults

In most cases, this is the easiest thing to do, creating a default
resource value for the resource type using the 'Effect.Default' type
class. Where it's not possible (or undesirable) there is a runInit
(correspondingly runPureInit) function which allows explicit resource
lists.
Merge branch 'master' of github.com:idris-lang/Idris-dev