Simple Scala enrichtments for java.io.File