Add a description of how Scala traits compile to Java interfaces