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).

Should we merge this or is it better to wait until we have full support (hopefully when 2.11 is released)?