Partial #130: Enforce empty method body when extending js.Any (classes & traits)

This is in partial state: The same should be enforced for objects
extending js.Any. This is currently not possible, since the Scala
compiler enforces methods to have implementations in objects in the
Typer phase (see scala/scala#3375).