Fix #791: Allow default arguments for facade type constructors
Merge pull request #793 from gzm0/fix-default-arg-constr

Fix #791: Allow default arguments for facade type constructors
Remove obsolete, commented checking code
Fix #798: Make helloworld run with PhantomJS
Fix #792: Disallow local facade types
Merge pull request #797 from gzm0/no-local-facade

Fix #792: Disallow local facade types
Fix #799: Make PhantomJS runner fail if JS code fails
Merge pull request #800 from gzm0/phantom-fail

Fix #799: Make PhantomJS runner fail if JS code fails
Add test tag support to JasmineTestFramework
Fix #788: Add typings and compiler support for TypedArrays
Merge pull request #795 from gzm0/typed-arrays

Fix #788: Add typings and compiler support for TypedArrays
Fix #796: Improve error messages for bad js.Any hierarchy
Merge pull request #803 from gzm0/extend-js.any

Fix #796: Improve error messages for bad js.Any hierarchy
Fix #802: While(true, body) should always typecheck as NothingType.

This also uses a pattern match instead of an == because it
avoids the allocation of the BooleanLiteral and the virtual
dispatch of ==.
Fix #804: Delay protect() mechanism until desugaring.

This also fixes the issue that a Select(_, _) was not
protected.
Merge pull request #805 from sjrd/fix-while-typing

Fix #802: While(true, body) should always typecheck as NothingType.
Follow up on #804: do not emit raw JSApply's from the compiler.

The compiler now emits JSFunctionApply, JSDotMethodApply or
JSBracketMethodApply instead of raw JSApply's.
Make clean also reset inc. opt. state in Test config.
Merge pull request #808 from sjrd/clean-opt-state-in-test

Make clean also reset inc. opt. state in Test config.
Merge pull request #806 from sjrd/delay-protect-to-desugar

Fix #804: Delay protect() mechanism until desugaring.